Lean
Intentaremos usar un asistente de pruebas para demostrar teoremas
El objetivo de este proyecto es aprender a usar el asistente de pruebas Lean y ver si la interacción con él es útil para “aprender a demostrar”.
Instalación
En la página de Lean se pueden encontrar las instrucciones para instalarlo.