|
Lean |
76 |
Interactive neural theorem proving in Lean |
Mar 20, 2023 |
|
Scala |
10 |
Interactive Theorem Proving based on Inox |
Jun 13, 2022 |
|
Vim script |
183 |
Interactive theorem proving with Coq in vim. |
Jul 22, 2022 |
|
Standard ML |
28 |
Athena is a programming language and an interactive theorem proving environment for proof engineering. |
May 22, 2022 |
|
Python |
59 |
Resolution theorem proving for predicate logic in pure Python. |
Aug 10, 2022 |
|
JavaScript |
2 |
CMU 15-815 Spring 2015 : Interactive Theorem Proving |
Nov 06, 2020 |
|
None |
2 |
Learning Coq theorem proving :) |
Dec 14, 2021 |
|
Python |
38 |
Theorem proving in Lean |
Apr 01, 2022 |
|
None |
2 |
Formal logic and software verification using interactive theorem provers |
Jun 23, 2018 |
|
JavaScript |
56 |
Theorem Proving in Lean 4 |
Aug 07, 2022 |
|
C++ |
763 |
Experiments towards neural network theorem proving |
Aug 12, 2022 |
|
None |
2 |
Cheatsheet for theorem proving in ATS |
Jan 28, 2023 |
|
Haskell |
3 |
Linear Logic and Resource-Aware Functional Programming |
Aug 03, 2018 |
|
Lean |
4 |
Tutorial to use Lean for theorem proving |
Apr 21, 2022 |
|
Python |
2 |
Collecting Github data for theorem-proving scripts. |
Jan 12, 2022 |
|
Haskell |
25 |
A type theory based theorem proving library |
May 30, 2021 |
|
Python |
6 |
"proving-contest"-backends for several theorem provers |
Oct 27, 2022 |
|
Haskell |
11 |
A type theory based theorem proving library |
Mar 02, 2017 |
|
Coq |
52 |
Modeling and Proving in Computational Type Theory |
May 17, 2023 |
|
Clojure |
14 |
Improved interactive and functional programming for Quil |
Mar 19, 2016 |
|
Racket |
3 |
A very simple module's language for theorem proving |
Jan 31, 2021 |
|
C++ |
589 |
LLMs as Copilots for Theorem Proving in Lean |
Jan 18, 2024 |
|
TeX |
7 |
Linear logic theorem prover and proof explorer |
Jul 08, 2019 |
|
Haskell |
1913 |
Agda is a dependently typed programming language / interactive theorem prover. |
Aug 30, 2022 |
|
Haskell |
2 |
Agda is a dependently typed programming language / interactive theorem prover. |
Dec 02, 2022 |
|
JavaScript |
2 |
A highlight.js language grammar for the Lean theorem proving language. |
Oct 10, 2021 |
|
Lean |
2 |
An introduction to theorem proving in Lean for the impatient. |
May 10, 2023 |
|
Coq |
286 |
A Learning Environment for Theorem Proving with the Coq proof assistant |
Aug 17, 2022 |
|
Python |
90 |
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks) |
Apr 22, 2023 |
|
Julia |
5 |
Computational logic in Julia! |
Apr 10, 2023 |
|
Haskell |
4 |
A theorem prover for intuitionistic propositional logic |
Mar 26, 2023 |
|
Svelte |
8 |
Interactive geometric illustration of Bayes theorem |
Mar 26, 2022 |
|
Rust |
2 |
Interactive theorem prover based on CoIC |
Jan 18, 2023 |
|
Lean |
1748 |
Lean 4 programming language and theorem prover |
Aug 22, 2022 |
|
HTML |
5 |
An interactive journey into functional programming with Yehonathan Sharvit |
Mar 08, 2023 |
|
Python |
213 |
An automated theorem prover for first-order logic. |
Aug 02, 2022 |
|
SCSS |
121 |
An interactive functional programming course for children based on clojure and klipse |
Dec 18, 2022 |
|
Haskell |
14 |
Paradox model finder and equinox theorem prover for first-order logic. |
Jun 15, 2022 |
|
Prolog |
2 |
Exercises and assessments of the UC Functional and Logic Programming. MIEIC, Year 3, Semester 1. |
Jan 10, 2024 |
|
Scala |
120 |
Typesafe, purely functional Computational Intelligence |
May 19, 2022 |
|
OCaml |
3 |
Automated theorem prover for propositional logic. Written in OCaml. |
Jan 06, 2023 |
|
Scheme |
26 |
A Declarative Theorem Prover for First-Order Classical Logic |
Apr 09, 2023 |
|
Idris |
10 |
A programming language, half theorem prover |
Apr 02, 2023 |
|
PureScript |
9 |
Functional interactive dataflow |
Aug 18, 2022 |
|
F# |
2 |
Functional and logical programming. |
Apr 04, 2023 |
|
C++ |
8 |
Programming for Quantitative and Computational Finance |
Jun 09, 2022 |
|
JavaScript |
2 |
Functional turn-based game logic |
Mar 15, 2019 |
|
PureScript |
3 |
Learning about functional programming through sound and sound through functional programming |
Mar 02, 2022 |
|
None |
12 |
Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving" |
Jun 16, 2023 |
|
Prolog |
4 |
A simulation for data flow system between memory and cache using logic Prolog and functional … |
Feb 27, 2022 |