Tema

Julia

1 texto sobre este tema. Todos los temas

Demostración de teoremas Programar un mini-Lean en el sistema de tipos de Julia Guillermo Angeris arma un demostrador de teoremas que funciona en 61 líneas de Julia. Un kernel de confianza chiquito, seis axiomas, y el compilador hace el resto. Esta es la construcción. 19 mar 2026 · 20 min