theorem-proving
Here are 216 public repositories matching this topic...
Modeling the small-step semantics of the While language in Idris
-
Updated
Jun 9, 2018 - Idris
Study notes on semantics of programming languages & theorem proving
-
Updated
Aug 11, 2017 - Idris
multi-logic proof generator
-
Updated
Sep 18, 2023 - Python
A verification tool developed in Coq for analyzing cloud block storage
-
Updated
Apr 6, 2023 - Coq
An implementation in Haskell of a tableau-style proof system for the implication-free fragment of intuitionistic propositional logic.
-
Updated
Feb 4, 2022 - Haskell
Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
-
Updated
May 9, 2021 - OCaml
Formal specification of a language of grammars and proofs about their ambiguity
-
Updated
Apr 19, 2024 - Coq
📖 Working through Type-Driven Development with Idris
-
Updated
Mar 29, 2017 - Idris
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
-
Updated
Aug 16, 2020 - Java
Prove Ducth NLI problems of SICK-NL with LangPro
-
Updated
Nov 10, 2023 - Prolog
Contains the code from the book "Modelling logic games and puzzles in First Order Logic" https://link.springer.com/book/10.1007/978-3-030-62547-4
-
Updated
Nov 16, 2021 - TeX
Solving the mini Rubik (2x2) in Coq
-
Updated
Jun 16, 2023 - Coq
Schrödinger's hats: a puzzle about parities and permutations
-
Updated
May 10, 2017 - Isabelle
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
-
Updated
Apr 8, 2020
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
-
Updated
Jun 7, 2017
First-Order Logic Automated Theorem Prover using Tableaux Method
-
Updated
Mar 18, 2021 - Clojure
A propositional logic equivalence and first-order logic ND prover (wrapper).
-
Updated
Mar 10, 2023 - Python
Lean Subtypes that have Super powers
-
Updated
Oct 31, 2023 - Lean
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."