Tree @
master
(
Download .tar.gz
)
..
Chris Pressey.md
History of by-topic
/
Calculus of Constructions
/
commentary
@
master
git clone https://git.catseye.tc/The-Glosscubator/
Rate another paper (actually slides for a talk)
Chris Pressey
5 months ago
Add a web page and rate a paper.
Chris Pressey
5 months ago
Commentary on a Calculus of Constructions paper.
Chris Pressey
5 months ago
Split Calculus of Constructions topic off from Coq topic.
Chris Pressey
5 months ago