|
Python |
38 |
Theorem proving in Lean |
Apr 01, 2022 |
|
JavaScript |
56 |
Theorem Proving in Lean 4 |
Aug 07, 2022 |
|
Lean |
76 |
Interactive neural theorem proving in Lean |
Mar 20, 2023 |
|
Lean |
4 |
Tutorial to use Lean for theorem proving |
Apr 21, 2022 |
|
C++ |
589 |
LLMs as Copilots for Theorem Proving in Lean |
Jan 18, 2024 |
|
Lean |
2 |
An introduction to theorem proving in Lean for the impatient. |
May 10, 2023 |
|
JavaScript |
2 |
Lustre language grammar for Highlight.js |
Feb 25, 2022 |
|
JavaScript |
4 |
A RGBASM language grammar for highlight.js |
Sep 03, 2021 |
|
JavaScript |
6 |
bbcode - a language grammar for highlight.js |
Feb 27, 2022 |
|
JavaScript |
11 |
SAP ABAP language grammar for Highlight.js |
Jan 21, 2022 |
|
JavaScript |
2 |
C3 - a language grammar for highlight.js |
Apr 13, 2023 |
|
JavaScript |
2 |
Highlight.js grammar for Salesforce Apex language |
Jul 16, 2022 |
|
JavaScript |
2 |
robots.txt - a language grammar for highlight.js |
Sep 07, 2021 |
|
JavaScript |
2 |
Web IDL language grammar for Highlight.js |
Feb 25, 2022 |
|
Racket |
3 |
A very simple module's language for theorem proving |
Jan 31, 2021 |
|
JavaScript |
3 |
A highlight.js grammar for Minecraft's language files |
Feb 25, 2023 |
|
JavaScript |
2 |
Red and Rebol language grammar for highlight.js |
Feb 03, 2024 |
|
JavaScript |
2 |
Highlight.js grammar for HLSL (High-level shader language) |
Feb 13, 2023 |
|
Lean |
1748 |
Lean 4 programming language and theorem prover |
Aug 22, 2022 |
|
None |
2 |
Learning Coq theorem proving :) |
Dec 14, 2021 |
|
JavaScript |
5 |
cURL grammar for Highlight.js |
Mar 05, 2022 |
|
JavaScript |
2 |
Highlight.js grammar for FunC |
May 12, 2023 |
|
MLIR |
2 |
Highlight.js grammar for MLIR |
Jan 05, 2024 |
|
None |
2 |
Cheatsheet for theorem proving in ATS |
Jan 28, 2023 |
|
C++ |
346 |
Lean Theorem Prover |
Aug 08, 2022 |
|
C++ |
2061 |
Lean Theorem Prover |
Aug 10, 2022 |
|
Lean |
27 |
LLVM support for the lean theorem prover |
Mar 13, 2023 |
|
None |
2 |
Reference manual for the Lean theorem prover |
Feb 02, 2021 |
|
Lua |
91 |
neovim support for the Lean theorem prover |
Aug 16, 2022 |
|
Python |
2 |
Collecting Github data for theorem-proving scripts. |
Jan 12, 2022 |
|
Python |
6 |
"proving-contest"-backends for several theorem provers |
Oct 27, 2022 |
|
Python |
90 |
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks) |
Apr 22, 2023 |
|
C++ |
763 |
Experiments towards neural network theorem proving |
Aug 12, 2022 |
|
Scala |
10 |
Interactive Theorem Proving based on Inox |
Jun 13, 2022 |
|
Haskell |
52 |
Reference type checker for the Lean theorem prover |
Apr 08, 2022 |
|
None |
9 |
Links to recourses for the Lean Theorem Prover |
Mar 16, 2023 |
|
Vim script |
13 |
Lean Theorem Prover plugin for Vim. |
Nov 30, 2022 |
|
Python |
18 |
Python talking to the Lean theorem prover |
Aug 25, 2021 |
|
Haskell |
25 |
A type theory based theorem proving library |
May 30, 2021 |
|
Vim script |
183 |
Interactive theorem proving with Coq in vim. |
Jul 22, 2022 |
|
Haskell |
11 |
A type theory based theorem proving library |
Mar 02, 2017 |
|
Standard ML |
28 |
Athena is a programming language and an interactive theorem proving environment for proof engineering. |
May 22, 2022 |
|
JavaScript |
6 |
Highlight.js grammar definition for Raku (Perl 6) |
Jul 26, 2022 |
|
Coq |
286 |
A Learning Environment for Theorem Proving with the Coq proof assistant |
Aug 17, 2022 |
|
Python |
59 |
Resolution theorem proving for predicate logic in pure Python. |
Aug 10, 2022 |
|
Lean |
99 |
Perfectoid spaces in the Lean formal theorem prover. |
Jul 09, 2022 |
|
Lean |
4 |
Many proofs of the Pythagoras theorem - Lean 4 |
Oct 18, 2023 |
|
Python |
2 |
Proving math theorems in Lean using the DreamCoder algorithm. |
Dec 06, 2022 |
|
JavaScript |
2 |
CMU 15-815 Spring 2015 : Interactive Theorem Proving |
Nov 06, 2020 |
|
Lean |
13 |
The matrix cookbook, proved in the Lean theorem prover |
May 04, 2023 |