Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Add a paper related to theorem proving.
Chris Pressey
1 year, 1 month ago
-
Add a number of webpages of FoM.
Chris Pressey
1 year, 1 month ago
-
Add webpages in several categories.
Chris Pressey
1 year, 1 month ago
-
Functional Programming and Electronics Projects categories.
Chris Pressey
1 year, 1 month ago
-
Convert Webpages.md files to Feedmark format.
Chris Pressey
1 year, 1 month ago
-
Checkpoint new script we will use.
Chris Pressey
1 year, 1 month ago
-
Build READMEs from source materials instead of rewriting READMEs.
Chris Pressey
1 year, 1 month ago
-
Add more books on Logic, Coq, Prolog.
Chris Pressey
1 year, 1 month ago
-
Split Lambda Calculus off from Logic.
Chris Pressey
1 year, 1 month ago
-
Split Equational and Algebraic logic off, and add some books.
Chris Pressey
1 year, 1 month ago
-
Fix breakage in Game Design category and update READMEs.
Chris Pressey
1 year, 1 month ago
-
Split Game Design and Game Development, they're 2 different topics.
Chris Pressey
1 year, 1 month ago
-
Update license headers, get back to REUSE 3.0 compliance.
Chris Pressey
1 year, 1 month ago
-
Some books on Combinatorics, and another Probability Theory bookmark.
Chris Pressey
1 year, 1 month ago
-
Add some specification books.
Chris Pressey
1 year, 1 month ago
-
Add one more Coq bookmark.
Chris Pressey
1 year, 1 month ago
-
Merge branch 'master' of https://codeberg.org/cpressey/Bookmarks
Chris Pressey
1 year, 1 month ago
-
Split Coq off from Theorem Proving.
Chris Pressey
1 year, 1 month ago
-
Add a Theorem Proving book.
Chris Pressey
1 year, 1 month ago
-
Add NLP in Prolog book.
Chris Pressey
1 year, 1 month ago
-
Update Theorem Proving/README.md
cpressey
1 year, 1 month ago
-
Reorganize Probability Theory bookmarks.
Chris Pressey
1 year, 1 month ago
-
Books for VIC-20.
Chris Pressey
1 year, 1 month ago
-
Add a few more books.
Chris Pressey
1 year, 1 month ago
-
Begin filling out placeholder descriptions.
Chris Pressey
1 year, 1 month ago
-
Refinement books. Online vs borrow books.
Chris Pressey
1 year, 1 month ago
-
Assemble README.md from Webpages.md and Books.md where available.
Chris Pressey
1 year, 1 month ago
-
Fix the rest of the see-also links.
Chris Pressey
1 year, 1 month ago
-
Update see-also links by use of a script that reads TOPICS.md.
Chris Pressey
1 year, 1 month ago
-
Catch up REUSE 3.0 compliance in this repo.
Chris Pressey
1 year, 1 month ago