Squash Types, Proposition Equality, Setoid Model, Type Theory
And the other Big Red Logic Books?
logicmatters.net·14h
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
equality in type theory
ncatlab.org·4d
Apple's "Illusion of Thinking" paper shows experts deeply divided on AI reasoning
the-decoder.com·13h
Cactus Language • Syntax 9
inquiryintoinquiry.com·2d
Loading...Loading more...