A proof assistant based on the internal language of topos with NNO (intuitionistic higher-order arithmetic)
-
Updated
Nov 3, 2025 - Rust
#
theorem-proving
Here are 10 public repositories matching this topic...
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
-
Updated
Jul 29, 2025 - Rust
Verify equation truth using a custom logical language
-
Updated
Mar 4, 2025 - Rust
🎼 Translate answer set programs to first-order theorem prover language
-
Updated
Aug 28, 2024 - Rust
not noq
-
Updated
Oct 23, 2023 - Rust
Supervisionary: a proof-checking system for HOL
-
Updated
May 2, 2023 - Rust
First-order logic theorem prover supporting unification with approximate vector similarity
-
Updated
Mar 23, 2023 - Rust
Razor is a tool for constructing finite models for first-order theories
-
Updated
Dec 19, 2022 - Rust
Math Question Solver
programming-language rust algebra theorem-proving programming-languages work-in-progress maths theorem-prover proglangs-discord
-
Updated
Jun 3, 2022 - Rust
The Supervisionary proof-checking kernel for higher-order logic
theorem-proving webassembly proof-assistant formal-methods formal-verification higher-order-logic theorem-prover privacy-enhancing-technologies lcf-style confidential-computing veracruz
-
Updated
May 11, 2022 - Rust
Improve this page
Add a description, image, and links to the theorem-proving topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theorem-proving topic, visit your repo's landing page and select "manage topics."