3 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 about a year ago
⛏️ A refinement proof framework for haskell
Created
2018-09-08
86 commits to master branch, last one about a year ago
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Created
2017-10-07
655 commits to master branch, last one 3 years ago