Lean

Código · Gratis

Lean es un lenguaje de verificación formal y asistente de pruebas desarrollado por Microsoft Research. Permite a investigadores, matemáticos y programadores crear demostraciones formales de teoremas y verificar la corrección de algoritmos y sistemas de…