Tema

Inducción

1 texto sobre este tema. Todos los temas

Demostración de teoremas Tus primeras demostraciones en Lean Los mismos tres teoremas del demostrador en Python, ahora en Lean 4. 20 mar 2026 · 8 min