lean4leanprover
NUEVOLean 4 es un lenguaje de programación y demostrador de teoremas para verificación formal, programación funcional y desarrollo interactivo de pruebas.
OPEN SOURCE, OPEN TO EVERYONE
Código abierto. Nuevas posibilidades.
Descubre proyectos de código abierto de calidad, envía proyectos de forma anónima y reclama y edita tu propio proyecto.
✳Selección editorial · Descubre buen código abierto4101descubiertos
Un poco de curiosidad. Un mundo de código abierto.
THE FIRST COLLECTIONTopic: lean4清除