lean4leanprover
NOVOLean 4 é uma linguagem de programação e provador de teoremas para verificação formal, programação funcional e desenvolvimento interativo de provas.
OPEN SOURCE, OPEN TO EVERYONE
Código aberto. Novas possibilidades.
Descubra projetos open source de qualidade, envie projetos anonimamente e reivindique e edite seu próprio projeto.
✳Seleção editorial · Descubra bons projetos open source4101descobertos
Um pouco de curiosidade. Um mundo de código aberto.
THE FIRST COLLECTIONTopic: lean清除