75 results found Sort:
- Filter by Primary Language:
- Lean (54)
- Python (6)
- TypeScript (3)
- C++ (2)
- JavaScript (1)
- Jupyter Notebook (1)
- Emacs Lisp (1)
- Lua (1)
- Nix (1)
- Roff (1)
- Shell (1)
- HTML (1)
- C (1)
- +
Lean 4 programming language and theorem prover
Created
2018-04-15
35,946 commits to master branch, last one about an hour ago
The math library of Lean 4
Created
2021-05-09
19,954 commits to master branch, last one 5 hours ago
LLMs as Copilots for Theorem Proving in Lean
Created
2023-09-09
804 commits to main branch, last one 2 days ago
Tool for data extraction and interacting with Lean programmatically.
Created
2023-06-13
598 commits to main branch, last one about a month ago
Lean theorem proving interface which feels like pen-and-paper proofs.
Created
2023-03-16
872 commits to main branch, last one 8 days ago
Scientific computing in Lean 4
Created
2021-09-27
1,872 commits to master branch, last one 3 months ago
Neovim support for the Lean theorem prover
Created
2020-12-30
2,111 commits to main branch, last one 4 days ago
The "batteries included" extended library for the Lean programming language and theorem prover
Created
2022-08-28
1,047 commits to main branch, last one 5 days ago
Retrieval-Augmented Theorem Provers for Lean
Created
2023-03-16
125 commits to main branch, last one 2 months ago
White-box automation for Lean 4
Created
2021-06-01
829 commits to master branch, last one 5 days ago
Server to host lean games.
Created
2022-10-17
1,116 commits to main branch, last one about a month ago
This repository has no description...
Created
2022-03-23
306 commits to master branch, last one about a month ago
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Created
2022-01-24
271 commits to main branch, last one 4 months ago
Theorem Proving in Lean 4
Created
2021-08-24
1,085 commits to master branch, last one 6 months ago
Tactics for discharging Lean goals into SMT solvers.
Created
2021-11-23
150 commits to main branch, last one 27 days ago
Natural Number Game
Created
2023-04-25
564 commits to main branch, last one about a month ago
Catalog Of Math Problems Formalized In Lean
Created
2022-12-06
2,521 commits to main branch, last one 9 hours ago
A simple raytracer written in Lean 4
Created
2021-01-31
26 commits to master branch, last one 11 months ago
llmstep: [L]LM proofstep suggestions in Lean 4.
Created
2023-07-08
73 commits to master branch, last one about a year ago
Helper toolkit for creating your own Lean 4 UserWidgets
Created
2022-11-15
387 commits to main branch, last one 7 days ago
ChatGPT plugin for theorem proving in Lean
Created
2023-06-21
14 commits to main branch, last one about a year ago
Formalization of Mathematical Logic
Created
2023-02-11
1,057 commits to master branch, last one a day ago
The matrix cookbook, proved in the Lean theorem prover
Created
2021-10-21
133 commits to master branch, last one 4 months ago
Formalizing stochastic doubly-efficient debate
Created
2023-11-24
22 commits to main branch, last one 6 months ago
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
This repository has been archived
(exclude archived)
Created
2021-05-29
701 commits to master branch, last one about a year ago
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Created
2024-05-27
14 commits to master branch, last one 10 months ago
コード例で学ぶ Lean 言語
Created
2023-09-15
2,270 commits to main branch, last one a day ago
The Lean 4 web editor
Created
2022-10-25
390 commits to main branch, last one 4 days ago
Emacs major mode for Lean 4
Created
2022-01-21
191 commits to master branch, last one 4 months ago
Document Generator for Lean 4
Created
2021-11-11
611 commits to main branch, last one a day ago