Stars
11
stars
written in TeX
Clear filter
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Formalizations of Gödel's Ontological Proof of God's Existence
My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.
Public snapshots of "ACSL by Example"
Contains source files of my dissertation in russian.