Sobre el proyecto

Lean 4 es el repositorio del lenguaje de programación y demostrador de teoremas Lean 4, una herramienta para escribir y verificar pruebas formales, así como para desarrollar programas funcionales. El proyecto proporciona una guía de inicio rápido, una página de inicio, un tutorial de demostración de teoremas, una guía de programación funcional, una descripción general de la documentación, una referencia del lenguaje, notas de versión a partir de v4.0.0-m3, ejemplos y pautas de contribución externa. Las instrucciones de instalación están disponibles en el sitio del proyecto, y el proyecto se puede compilar desde el código fuente siguiendo el proceso de compilación documentado. Se pide a los contribuyentes que lean las pautas de contribución antes de enviar cambios.