History of
by-topic
/
Theorem Proving
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add a very short paper, and a book, about the Hyperproof system.
Chris Pressey
2 months ago
-
Trim titles of more resources.
Chris Pressey
3 months ago
-
Trim resource titles in Equational Logic category.
Chris Pressey
3 months ago
-
Put the Wikipedia link, when it exists, in the "see-also bar".
Chris Pressey
3 months ago
-
Include the topic description in the README for some topics.
Chris Pressey
3 months ago
-
Small improvements to script and to Handbook entries.
Chris Pressey
3 months ago
-
Add five books.
Chris Pressey
3 months ago
-
When rebuilding, rewrite Markdown documents according to schema.
Chris Pressey
3 months ago
-
Update the borrowability status of books listed on archive.org.
Chris Pressey
4 months ago
-
Remove placeholders that are no longer needed with Feedmark 0.16.
Chris Pressey
4 months ago
-
Make make_anchor() produce more correct anchors.
Chris Pressey
5 months ago
-
Fix commentary links.
Chris Pressey
5 months ago
-
Fix some spacing issues.
Chris Pressey
5 months ago
-
Extract ratings to own files.
Chris Pressey
5 months ago
-
Rename commentary files.
Chris Pressey
5 months ago
-
Improve anchor formatting logic.
Chris Pressey
8 months ago
-
Link to commentary on entries that have a detectable amount of it.
Chris Pressey
8 months ago
-
Show ratings on books and papers too.
Chris Pressey
8 months ago
-
Render rating next to each entry that has one, in the READMEs.
Chris Pressey
8 months ago
-
Link to the originating topic, for secondary-topic entries.
Chris Pressey
8 months ago
-
Resources in multiple topics are now rendered in multiple READMEs.
Chris Pressey
8 months ago
-
Format interlinks more usefully.
Chris Pressey
11 months ago
-
Add several papers, and 2 webpages.
Chris Pressey
11 months ago
-
More commentary.
Chris Pressey
1 year, 19 days ago
-
Rate a Theorem Proving paper.
Chris Pressey
1 year, 20 days ago
-
Some commentary on a semantics paper on the arxiv.
Chris Pressey
1 year, 20 days ago
-
Rename Specification category to Formal Specification.
Chris Pressey
1 year, 20 days ago
-
Checkpoint removing `src` directories.
Chris Pressey
1 year, 21 days ago
-
Fix link.
Chris Pressey
1 year, 21 days ago
-
Link back up, add "Web resources" heading to READMEs.
Chris Pressey
1 year, 21 days ago