Tree @
master
(
Download .tar.gz
)
..
commentary
Papers.md
README.md
Repositories.md
Webpages.md
History of by-topic
/
Calculus of Constructions
/
README.md
@
master
git clone https://git.catseye.tc/The-Glosscubator/
Format interlinks more usefully.
Chris Pressey
2 months ago
Split Calculus of Constructions topic off from Coq topic.
Chris Pressey
3 months ago