|
|
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 |
|
|
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 |
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 |
|
|
Lean |
99 |
Perfectoid spaces in the Lean formal theorem prover. |
Jul 09, 2022 |
|
|
Lean |
13 |
The matrix cookbook, proved in the Lean theorem prover |
May 04, 2023 |
|
|
Lean |
1748 |
Lean 4 programming language and theorem prover |
Aug 22, 2022 |
|
|
Haskell |
19 |
Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/ |
Jan 04, 2021 |
|
|
Lean |
2 |
Notes from my experience learning the Lean Theorem Prover |
Aug 20, 2017 |
|
|
None |
2 |
Exuberant Ctags patterns for use with Lean Theorem Prover. |
Mar 23, 2022 |
|
|
Lean |
5 |
Implementation of Gowers & Ganesalingam theorem prover in Lean |
Dec 20, 2021 |
|
|
Lean |
4 |
Attempt to formalize Berkovich spaces in Lean theorem prover |
Mar 19, 2022 |
|
|
C |
21 |
A Tree-sitter parser for tree-sitter queries. |
Aug 09, 2022 |
|
|
C++ |
7919 |
The Z3 Theorem Prover |
Aug 29, 2022 |
|
|
Scala |
10 |
The Princess Theorem Prover |
Mar 19, 2023 |
|
|
C++ |
207 |
The Vampire Theorem Prover |
May 03, 2023 |
|
|
C++ |
2 |
The Z3 Theorem Prover |
Oct 29, 2022 |
|
|
C++ |
117 |
Lean theorem prover version 0.2 (it supports standard and HoTT modes) |
May 29, 2022 |
|
|
C |
5 |
Tree-sitter parser for Tucan |
Jun 21, 2022 |
|
|
C |
2 |
tree-sitter parser for Io |
Feb 08, 2023 |
|
|
JavaScript |
2 |
Tree Sitter parser for Elixir |
Jul 17, 2022 |
|
|
C |
24 |
Tree-sitter parser for V |
Jul 07, 2022 |
|
|
JavaScript |
26 |
ReScript parser for Tree-Sitter |
Jun 28, 2022 |
|
|
JavaScript |
6 |
Tree-sitter parser for Vimscript |
Apr 08, 2023 |
|
|
C |
8 |
Tree sitter parser for LLVM |
Apr 09, 2023 |
|
|
TeX |
2 |
Documentation for the KeY Theorem Prover |
Feb 18, 2024 |
|
|
Racket |
11 |
k theorem prover |
Jan 27, 2023 |
|
|
Haskell |
12 |
A theorem prover |
Dec 16, 2021 |
|
|
Lean |
9 |
A library of results from Social Choice Theory, formalized in the Lean Theorem Prover. |
May 07, 2022 |
|
|
Lean |
24 |
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover |
Apr 24, 2023 |
|
|
Lean |
29 |
A formal verification of the babySNARK proof system and others, using the Lean Theorem Prover. |
May 22, 2023 |
|
|
C |
5 |
Tree-sitter parser for Tucan IR |
Jun 21, 2022 |
|
|
C |
9 |
Tree-sitter parser for Objective-C |
Jul 09, 2022 |
|
|
C |
2 |
A Tree Sitter parser for slint |
Apr 04, 2023 |
|
|
C |
2 |
A tree-sitter parser for Stan |
Apr 16, 2023 |
|
|
JavaScript |
32 |
Tree-sitter parser for regular expressions |
Aug 02, 2022 |
|
|
C |
2 |
Tree Sitter parser for Talon files. |
Feb 09, 2023 |
|
|
C |
3 |
Tree sitter parser for LLVM TableGen |
Apr 01, 2023 |
|
|
C |
23 |
A Tree-sitter parser for CMake |
Apr 29, 2023 |
|
|
JavaScript |
2 |
A tree-sitter parser for Modelica |
Dec 15, 2023 |
|
|
C |
10 |
a tree-sitter parser for the beancount syntax |
Aug 02, 2022 |
|
|
C |
27 |
SuperCollider grammar for the tree-sitter code parser |
Jul 28, 2022 |
|
|
C |
9 |
tree-sitter parser for the hurl file format |
Apr 25, 2023 |
|
|
HTML |
21 |
Nim binding for the Z3 theorem prover |
Sep 01, 2021 |
|
|
Common Lisp |
7 |
Prolog Technology Theorem Prover |
Apr 05, 2022 |