49 results found Sort:
- Filter by Primary Language:
- Lean (35)
- C++ (2)
- Python (2)
- TypeScript (2)
- JavaScript (1)
- Jupyter Notebook (1)
- CSS (1)
- Lua (1)
- Roff (1)
- Emacs Lisp (1)
- HTML (1)
- +
Lean 4 programming language and theorem prover
Created
2018-04-15
33,272 commits to master branch, last one a day ago
The math library of Lean 4
Created
2021-05-09
11,905 commits to master branch, last one 16 hours ago
LLMs as Copilots for Theorem Proving in Lean
Created
2023-09-09
629 commits to main branch, last one 5 days ago
Tool for data extraction and interacting with Lean programmatically.
Created
2023-06-13
487 commits to main branch, last one 2 days ago
Lean theorem proving interface which feels like pen-and-paper proofs.
Created
2023-03-16
725 commits to main branch, last one 28 days ago
Scientific computing in Lean 4
Created
2021-09-27
1,599 commits to master branch, last one a day ago
neovim support for the Lean theorem prover
Created
2020-12-30
1,558 commits to main branch, last one 19 days ago
The "batteries included" extended library for the Lean programming language and theorem prover
Created
2022-08-28
820 commits to main branch, last one 3 days ago
This repository has no description...
Created
2022-03-23
263 commits to master branch, last one 2 months ago
White-box automation for Lean 4
Created
2021-06-01
732 commits to master branch, last one 19 hours ago
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Created
2022-01-24
257 commits to main branch, last one 2 months ago
Theorem Proving in Lean 4
Created
2021-08-24
1,084 commits to master branch, last one about a month ago
Server to host lean games.
Created
2022-10-17
1,030 commits to main branch, last one 3 days ago
A simple raytracer written in Lean 4
Created
2021-01-31
26 commits to master branch, last one about a month ago
llmstep: [L]LM proofstep suggestions in Lean 4.
Created
2023-07-08
73 commits to master branch, last one 7 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 8 months ago
Helper toolkit for creating your own Lean 4 UserWidgets
Created
2022-11-15
273 commits to main branch, last one a day ago
Natural Number Game
Created
2023-04-25
539 commits to main branch, last one 8 days ago
Formalizing stochastic doubly-efficient debate
Created
2023-11-24
14 commits to main branch, last one 7 months ago
Tactics for discharging Lean goals into SMT solvers.
Created
2021-11-23
106 commits to main branch, last one 5 days ago
Intuitive, type-safe expression quotations for Lean 4.
Created
2021-05-08
161 commits to master branch, last one 21 days ago
Code samples for Lean 4
This repository has been archived
(exclude archived)
Created
2022-01-27
156 commits to main branch, last one 8 months ago
🧪 | Rinha de Backend Lean4
Created
2023-08-20
59 commits to main branch, last one 9 months ago
Catalog Of Math Problems Formalized In Lean
Created
2022-12-06
1,870 commits to main branch, last one a day ago
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Created
2021-02-22
66 commits to main branch, last one 2 months ago
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Created
2021-10-15
259 commits to main branch, last one 4 months ago
A formal consistency proof of Quine's set theory New Foundations
Created
2022-03-31
1,131 commits to main branch, last one 2 months ago
Document Generator for Lean 4
Created
2021-11-11
494 commits to main branch, last one 10 days ago
Emacs major mode for Lean 4
Created
2022-01-21
146 commits to master branch, last one about a month ago
Tools based on AI for helping with Lean 4
Created
2022-09-05
2,175 commits to main branch, last one 2 days ago