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 4 months ago
• Add a web page and rate a paper. Chris Pressey 4 months ago
• Commentary on a Calculus of Constructions paper. Chris Pressey 4 months ago
• Split Calculus of Constructions topic off from Coq topic. Chris Pressey 4 months ago