Geeks
leopiney
/
CFPTT
Construcción Formal de Programas en Teoría de Tipos.
Primary Language
Coq
CFPTT GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
CFPTT
Construcción Formal de Programas en Teoría de Tipos.