computer-science 4

• Type Theory Part III: Verifying Formal Specifications Nov 5, 2025
• Type Theory Part II: Proving Natural Addition Commutes from First Principles Sep 20, 2025
• Type Theory Part I: Introduction to Type Theory Sep 13, 2025
• A Hypothetical New Mathematical Field Sep 2, 2025