Este mini-curso tiene dos objetivos. El primero es enseñar a usar Lean, un asistente de pruebas interactivo basado en la teoría de tipos dependiente y el cálculo de construcciones. El segundo es un poco más experimental, tratar de ver si ayuda a entender mejor cómo se hace una demostración formal en matemáticas.
-
Notifications
You must be signed in to change notification settings - Fork 0
ljtc/cursoLean
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published