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