Experimental proof assistant for cubical type theory with proof irrelevance
-
Updated
Sep 10, 2026 - OCaml
#
type-theoretic-formalization
Here are 3 public repositories matching this topic...
This repository presents Version 4.0 of a formal, type-theoretic, and fully machine-verifiable proof of the Birch and Swinnerton-Dyer (BSD) Conjecture, built upon the framework of Collapse Theory and the AK High-Dimensional Projection Structural Theory (AK-HDPST) v14.5.
elliptic-curves algebraic-number-theory collapse-theory bsd-conjecture birch-swinnerton-dyer zeta-correspondence topological-collapse ext-class-elimination functorial-proof type-theoretic-formalization collapse-bsd-theorem ak-high-dimensional-projection
-
Updated
Aug 1, 2025 - TeX
The Universal Imscriptive Grammar
math physics type-theory esoteric algebraic-structures lattices exoteric type-theoretic-mathematics type-theoretic-formalization type-theoretic-proof imscriptive imscribe imscription
-
Updated
Apr 30, 2026 - Python
Add this topic to your repo
To associate your repository with the type-theoretic-formalization topic, visit your repo's landing page and select "manage topics."