Teinnsei
Follow
Lists (2)
Stars
4
stars
written in TeX
Clear filter
Bootstrap yourself to write an OS from scratch. A book for self-learner.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Formalizations of Gödel's Ontological Proof of God's Existence