https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketches-in-compositionality/
which lists 1-77. https://forum.azimuthproject.org/discussion/2346/lecture-77-chapter-4-the-end-no-the-beginning/p1 ...
life is a journey
blabbering w/ more links:
https://gist.github.com/bshambaugh/27b53b532ee1f6e9bf22de1616ed941c
Every time I become I librarian, I am encouraged to do the exercises. thank you for that.
Edit (book involving coq):
https://softwarefoundations.cis.upenn.edu/
No comments:
Post a Comment