Publicaciones de leodemoura.github.io
La herramienta de pruebas Lean añade una función para volver a comprobar resultados con varios verificadores(leodemoura.github.io)
ResumenLean es una herramienta de pruebas que usa una máquina para comprobar la corrección de demostraciones matemáticas y de programas. Según este artículo, el comando lake check se ha añadido a Lean v4.35…
Todas las publicaciones de esta página están ocultas.