Programming Language Theory λΠ
-
Updated
Dec 2, 2024 - CSS
#
proof-theory
Here are 33 public repositories matching this topic...
List of resources about foundational knowledge for programmers (supposed to last a few decades)
computer-science awesome cryptography networking algorithms linear-algebra type-theory category-theory programming-languages programming-paradigms awesome-list computer-architecture software-architecture algorithms-and-data-structures proof-theory
-
Updated
Oct 20, 2025
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
hpc logic mpi formal-methods propositional-logic tbb modal-logic mathematical-logic theorem-prover proof-engineering proof-search formal-logic metamath proof-theory condensed-detachment proof-complexity hilbert-systems proof-minimization
-
Updated
Aug 7, 2026 - C++
Convert logical formulas and generate their syntax trees as vector images in SVG format. Structuralize pure C-N formulas, pure D-proofs, and index-based summaries of pure D-proofs into a universal representation that is based on the Standard Galactic Alphabet and digits of the Alteran language of the Stargate franchise.
svg converter js sci-fi logic visualizer webapp scifi vectorizer stargate formal-proofs sg1 proof-theory syntax-trees online-converter condensed-detachment hilbert-systems
-
Updated
Oct 11, 2025 - JavaScript
An adventure on formalizing logics using the Agda programming language
-
Updated
Nov 5, 2023 - Agda
My contributions to Metamath's mmsolitaire project.
logic propositional-logic propositional-calculus formal-proofs proof-theory condensed-detachment proof-minimization
-
Updated
Mar 13, 2025
Concept-first companion to CMU 15-836 Substructural Logics, created by Hermes Agent
-
Updated
Aug 3, 2026 - Python
Absurdly sophisticated proofs of simple mathematical facts in Lean 4
-
Updated
Jul 26, 2025 - Lean
Automated theorem prover for Multiplicative Linear Logic
-
Updated
Aug 12, 2026 - Python
A Lean 4 formal lab that mathematically guarantees the structural boundaries for NF Set Theory.
parsing graph-algorithms repl theorem-proving type-theory set-theory quine lean formal-verification stratification sequent-calculus formal-logic proof-theory lean4 new-foundations
-
Updated
Jul 31, 2026 - Lean
Assignment from CSED433: Computational Logic, 2025 Fall, POSTECH
-
Updated
Nov 27, 2025 - Rocq Prover
The Open Deduction Proof Editor allows proof theorists (or anyone) to deconstruction proofs step by step. It currently supports deep inference formalisms, namely Open Deduction and naturally the Calculus of Structures. The front end of the application is written in Java, while the back end is written in Maude. There is also an implementation of …
-
Updated
Nov 12, 2020 - Java
A Rust crate for type-checked propositional logic proofs.
-
Updated
Nov 9, 2025 - Rust
MCTS-guided theorem proving agent — decomposes math problems into a proof tree and explores it with LLMs. Runs on Anthropic/OpenAI APIs or fully offline on Apple Silicon.
-
Updated
Mar 18, 2026 - Python
My master thesis (and related code) in Logic at the University of Bergen.
-
Updated
Feb 2, 2024 - Haskell
Fitch proof constructor (using rules from my version of the forall x textbook) — Mirror of mrieppel.github.io/FitchFX/
-
Updated
Jun 10, 2025 - JavaScript
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
-
Updated
Jun 17, 2024 - C++
Equivalence of natural deduction and sequent calculus in HOL4
-
Updated
Oct 2, 2019 - Standard ML
Exploring the depths of mathematics through the study of its foundations
mathematics set-theory mathematical-logic proof-theory metamathematics foundation-of-mathematics metalogics
-
Updated
Jan 12, 2023
Improve this page
Add a description, image, and links to the proof-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-theory topic, visit your repo's landing page and select "manage topics."