Poco común
Lean
demostrador de teoremas
Lean
Lean es un asistente de pruebas y un lenguaje de programación. Se basa en el cálculo de construcciones con tipos inductivos. Es un proyecto de código abierto alojado en GitHub. Fue realizado por Microsoft Research.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis