Projects in Awesome Lists tagged with constructive-mathematics
A curated list of projects in awesome lists tagged with constructive-mathematics .
https://github.com/newca12/awesome-rust-formalized-reasoning?tab=readme-ov-file
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover theorem-proving
Last synced: 04 Mar 2026
https://github.com/martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
agda compact-type constructive-mathematics homotopy-type-theory injective-type ordinal searchable-set totally-separated-type type-theory univalent-foundations univalent-mathematics
Last synced: 09 Jul 2025
https://github.com/iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
agda constructive-mathematics forcing mathematics paper ring-theory
Last synced: 05 Mar 2026
https://github.com/mk9207/littlewood-conjecture-constructive-proof
A constructive and complete proof of the Littlewood Conjecture using structured prime density, convergence restrictions, and constructive fluctuation bounds.
arxiv-compatible constructive-mathematics latex littlewood-conjecture math number-theory prime-counting
Last synced: 17 Jun 2025
https://github.com/mk9207/catalan-conjecture-constructive-proof
onstructive proof of the Catalan Conjecture (Mihăilescu's Theorem)
arxiv-compatible catalan-conjecture constructive-mathematics diophantine-equations latex math mihailescu-theorem number-theory power-equations
Last synced: 17 Jun 2025
https://github.com/mk9207/beal-conjecture-constructive-proof
Constructive proof of the Beal Conjecture using ABC-model extension and coprime domain elimination
abc-extension arxiv-compatible beal-conjecture constructive-mathematics gcd-analysis latex math number-theory
Last synced: 28 Jun 2025