Maths›03. Logic and FoundationsChapter 17. Type TheorySimple type theory, dependent types, Curry-Howard correspondence, proof assistants, and formalized mathematics.
Maths›03. Logic and FoundationsChapter 17. Type TheorySimple type theory, dependent types, Curry-Howard correspondence, proof assistants, and formalized mathematics.