A collection of resources for learning type theory and type theory adjacent fields.
created at Aug. 3, 2015, 5:47 p.m.
90 +0
2,164 +8
119 +0
🧮 Path to a free self-taught education in Mathematics!
created at Sept. 11, 2020, 5:28 p.m.
82 +1
4,481 +23
457 +5
XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions
created at May 18, 2018, 3:33 p.m.
18 +0
917 +1
124 +1