65 results found Sort:
- Filter by Primary Language:
- Lean (47)
- Python (5)
- TypeScript (3)
- C++ (2)
- Jupyter Notebook (1)
- HTML (1)
- Lua (1)
- JavaScript (1)
- Roff (1)
- TeX (1)
- Emacs Lisp (1)
- +
Lean 4 programming language and theorem prover
Created
2018-04-15
34,668 commits to master branch, last one 22 hours ago
The math library of Lean 4
Created
2021-05-09
16,827 commits to master branch, last one 11 hours ago
LLMs as Copilots for Theorem Proving in Lean
Created
2023-09-09
696 commits to main branch, last one about a month ago
Tool for data extraction and interacting with Lean programmatically.
Created
2023-06-13
592 commits to main branch, last one 13 days ago
Lean theorem proving interface which feels like pen-and-paper proofs.
Created
2023-03-16
850 commits to main branch, last one about a month ago
Scientific computing in Lean 4
Created
2021-09-27
1,858 commits to master branch, last one 4 days ago
Neovim support for the Lean theorem prover
Created
2020-12-30
1,935 commits to main branch, last one 13 hours ago
The "batteries included" extended library for the Lean programming language and theorem prover
Created
2022-08-28
987 commits to main branch, last one 9 days ago
Retrieval-Augmented Theorem Provers for Lean
Created
2023-03-16
123 commits to main branch, last one 3 months ago
This repository has no description...
Created
2022-03-23
281 commits to master branch, last one about a month ago
White-box automation for Lean 4
Created
2021-06-01
814 commits to master branch, last one 2 days 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 12 days ago
Server to host lean games.
Created
2022-10-17
1,066 commits to main branch, last one 11 days ago
Theorem Proving in Lean 4
Created
2021-08-24
1,085 commits to master branch, last one 2 months ago
Tactics for discharging Lean goals into SMT solvers.
Created
2021-11-23
138 commits to main branch, last one a day ago
A simple raytracer written in Lean 4
Created
2021-01-31
26 commits to master branch, last one 7 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
Natural Number Game
Created
2023-04-25
546 commits to main branch, last one 3 months ago
Helper toolkit for creating your own Lean 4 UserWidgets
Created
2022-11-15
347 commits to main branch, last one a day ago
Catalog Of Math Problems Formalized In Lean
Created
2022-12-06
2,297 commits to main branch, last one 15 hours ago
ChatGPT plugin for theorem proving in Lean
Created
2023-06-21
14 commits to main branch, last one 8 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
Formalizing stochastic doubly-efficient debate
Created
2023-11-24
22 commits to main branch, last one 2 months ago
The matrix cookbook, proved in the Lean theorem prover
Created
2021-10-21
133 commits to master branch, last one 28 days ago
Lean4 Logic Formalization
Created
2023-02-11
614 commits to master branch, last one 3 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 6 months ago
Intuitive, type-safe expression quotations for Lean 4.
Created
2021-05-08
172 commits to master branch, last one 19 days ago
Emacs major mode for Lean 4
Created
2022-01-21
191 commits to master branch, last one 11 days ago
The Lean 4 web editor
Created
2022-10-25
344 commits to main branch, last one 27 days ago
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Created
2021-02-22
74 commits to main branch, last one about a month ago