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