History of
by-topic
/
Theorem Proving
/
ratings
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add Operational Semantics topic, and one web resource; move two.
Chris Pressey
10 days ago
-
Add Logic Machines and Diagrams.
Chris Pressey
5 months ago
-
Add some comments, and a rating, on Hyperproof.
Chris Pressey
9 months ago
-
Add a very short paper, and a book, about the Hyperproof system.
Chris Pressey
1 year, 4 months ago
-
Trim titles of more resources.
Chris Pressey
1 year, 4 months ago
-
Add five books.
Chris Pressey
1 year, 5 months ago
-
Remove placeholders that are no longer needed with Feedmark 0.16.
Chris Pressey
1 year, 5 months ago
-
Fix some spacing issues.
Chris Pressey
1 year, 7 months ago
-
Extract ratings to own files.
Chris Pressey
1 year, 7 months ago