Natural deduction proof assistant
-
Updated
Sep 26, 2017 - C++
#
interactive-theorem-proving
Here are 39 public repositories matching this topic...
Interactive theorem proving in ELPI
-
Updated
Nov 27, 2018
Isabelle's Pure logic, directly extended to FOL/HOL
-
Updated
May 19, 2019 - Isabelle
proof
proof-assistant
formal-methods
isabelle
formal-verification
isabelle-hol
itp
interactive-theorem-proving
formal-proofs
-
Updated
Dec 7, 2020 - Isabelle
A dependent type theory logic for Isabelle
dependent-types
proof-assistant
type-theory
isabelle
interactive-theorem-proving
logical-framework
dependent-type-theory
-
Updated
Feb 8, 2021 - Standard ML
Math in XO
math
theorem-proving
proofs
formal-verification
interactive-theorem-proving
foundations
automated-theorem-proving
-
Updated
Jun 16, 2021
A fast, easy-to-use ring solver for agda with step-by-step solutions
-
Updated
Mar 12, 2022 - Agda
DAO (Demostración Asistida por Ordenador) con Lean
-
Updated
Jun 24, 2022 - Lean
Recopilación de cursos de razonamiento automático.
coq
proof-assistant
courses
agda
lean
isabelle-hol
prover9
pvs
interactive-theorem-proving
otter
automated-reasoning
acl2
-
Updated
Jun 24, 2022
Explorando formalizaciones con Lean
-
Updated
Jul 9, 2022 - Lean
Solutions to the problems in the book Concrete Semantics by Gerwin Klein and Tobias Nipkow
-
Updated
Oct 14, 2022 - Isabelle
HLM mathematical library for the Slate interactive theorem prover
web-app
mathematics
collaboration
proof-assistant
mathematical-expressions
mathematical-logic
formal-mathematics
interactive-theorem-proving
-
Updated
Nov 5, 2022 - Shell
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
-
Updated
Nov 30, 2022 - Standard ML
The Slate Interactive Theorem Prover
web-app
collaboration
proof-assistant
mathematical-expressions
mathematical-logic
formal-mathematics
interactive-theorem-proving
-
Updated
Jan 9, 2023 - TypeScript
Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v
-
Updated
Jan 15, 2023 - HTML
Proof assistant created in the Plugin Oriented Programming paradigm
-
Updated
Feb 16, 2023 - Python
Online maths contests powered by interactive theorem provers
-
Updated
Apr 20, 2023 - Lean
Experiments with interactive theorem provers, LLMs and formal systems
math
interactive-theorem-proving
theorem-prover
ai-agents
formal-proofs
lean-theorem-prover
ai-assisted-development
gpt-3
llm
chatgpt
langchain
-
Updated
Jul 10, 2023 - Coq
Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions
-
Updated
Jul 24, 2023 - Lean
Improve this page
Add a description, image, and links to the interactive-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 interactive-theorem-proving topic, visit your repo's landing page and select "manage topics."