|
Basic.lean
|
Initial commit
|
2026-10-26 11:42:44 +01:00 |
|
Conjuntos.lean
|
Dos primeras hojas
|
2026-10-26 12:49:31 +01:00 |
|
Finitud.lean
|
Añadidos inductivos, finitud y naturales
|
2026-10-29 12:06:44 +01:00 |
|
Inductivos.lean
|
Añadidos inductivos, finitud y naturales
|
2026-10-29 12:06:44 +01:00 |
|
Naturales.lean
|
Añadidos inductivos, finitud y naturales
|
2026-10-29 12:06:44 +01:00 |
|
Proposiciones.lean
|
Dos primeras hojas
|
2026-10-26 12:49:31 +01:00 |
