Geeks
jiangsy
/
mech-type-theories
Mechanizations of Type Theories
Primary Language
Agda
MIT License
MIT
mech-type-theories Home Page
mech-type-theories GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
This repository is not active