4 results found Sort:
Lean 3's obsolete mathematical components library: please use mathlib4
This repository has been archived
(exclude archived)
Created
2017-07-21
18,271 commits to master branch, last one 11 months ago
LLMs as Copilots for Theorem Proving in Lean
Created
2023-09-09
694 commits to main branch, last one 25 days ago
The Principia Rewrite
Created
2020-09-27
66 commits to master branch, last one 4 months ago
The matrix cookbook, proved in the Lean theorem prover
Created
2021-10-21
125 commits to master branch, last one 3 months ago