68 results found Sort:
- Filter by Primary Language:
- Lean (49)
- Python (6)
- TypeScript (3)
- C++ (2)
- Jupyter Notebook (1)
- HTML (1)
- Lua (1)
- JavaScript (1)
- Emacs Lisp (1)
- Roff (1)
- Nix (1)
- +
Lean 4 programming language and theorem prover
Created
2018-04-15
35,029 commits to master branch, last one 11 hours ago
The math library of Lean 4
Created
2021-05-09
17,769 commits to master branch, last one 11 hours ago
LLMs as Copilots for Theorem Proving in Lean
Created
2023-09-09
725 commits to main branch, last one 17 days ago
Tool for data extraction and interacting with Lean programmatically.
Created
2023-06-13
592 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
857 commits to main branch, last one 17 days ago
Scientific computing in Lean 4
Created
2021-09-27
1,872 commits to master branch, last one 29 days ago
Neovim support for the Lean theorem prover
Created
2020-12-30
1,974 commits to main branch, last one 11 days ago
The "batteries included" extended library for the Lean programming language and theorem prover
Created
2022-08-28
1,005 commits to main branch, last one a day ago
Retrieval-Augmented Theorem Provers for Lean
Created
2023-03-16
125 commits to main branch, last one a day ago
This repository has no description...
Created
2022-03-23
290 commits to master branch, last one 17 days ago
White-box automation for Lean 4
Created
2021-06-01
818 commits to master branch, last one 2 days ago
Server to host lean games.
Created
2022-10-17
1,082 commits to main branch, last one a day 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 about a month ago
Theorem Proving in Lean 4
Created
2021-08-24
1,085 commits to master branch, last one 3 months ago
Tactics for discharging Lean goals into SMT solvers.
Created
2021-11-23
146 commits to main branch, last one 5 days ago
A simple raytracer written in Lean 4
Created
2021-01-31
26 commits to master branch, last one 8 months ago
Natural Number Game
Created
2023-04-25
548 commits to main branch, last one about a month ago
Catalog Of Math Problems Formalized In Lean
Created
2022-12-06
2,354 commits to main branch, last one a day ago
Helper toolkit for creating your own Lean 4 UserWidgets
Created
2022-11-15
355 commits to main branch, last one 16 days ago
llmstep: [L]LM proofstep suggestions in Lean 4.
Created
2023-07-08
73 commits to master branch, last one about a year ago
ChatGPT plugin for theorem proving in Lean
Created
2023-06-21
14 commits to main branch, last one 10 months ago
Formalizing stochastic doubly-efficient debate
Created
2023-11-24
22 commits to main branch, last one 3 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
The matrix cookbook, proved in the Lean theorem prover
Created
2021-10-21
133 commits to master branch, last one 2 months ago
Lean4 Logic Formalization
Created
2023-02-11
623 commits to master branch, last one 2 days 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 8 months ago
Intuitive, type-safe expression quotations for Lean 4.
Created
2021-05-08
175 commits to master branch, last one 28 days ago
Document Generator for Lean 4
Created
2021-11-11
587 commits to main branch, last one 11 days ago
The Lean 4 web editor
Created
2022-10-25
350 commits to main branch, last one 18 days ago
Emacs major mode for Lean 4
Created
2022-01-21
191 commits to master branch, last one about a month ago