Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
Typst Examples Book
sitandr.github.io·2d
Coping with Complexity
slott56.github.io·1d
A very short book note
logicmatters.net·2d
Loading...Loading more...