Tree @master (Download .tar.gz)
History of
by-topic
/
Theorem Proving
/
commentary
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add Logic Machines and Diagrams. Chris Pressey 3 months ago
- Add some comments, and a rating, on Hyperproof. Chris Pressey 7 months ago
- Trim titles of more resources. Chris Pressey 1 year, 2 months ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 1 year, 3 months ago
- Extract ratings to own files. Chris Pressey 1 year, 5 months ago
- Rename commentary files. Chris Pressey 1 year, 5 months ago
- Add several papers, and 2 webpages. Chris Pressey 1 year, 11 months ago
- More commentary. Chris Pressey 2 years ago
- Rate a Theorem Proving paper. Chris Pressey 2 years ago
- Some commentary on a semantics paper on the arxiv. Chris Pressey 2 years ago
- Checkpoint removing `src` directories. Chris Pressey 2 years ago