Tema

Python

1 texto sobre este tema. Todos los temas

Demostración de teoremas Construyendo un pequeño demostrador de teoremas en Python Un pequeño demostrador de teoremas es apenas un lenguaje de términos, un checker y un kernel chico de confianza. Construimos uno en Python puro para dejar la arquitectura a la vista. 19 mar 2026 · 8 min