3 results found Sort:

298
1.7k
apache-2.0
53
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
2
69
bsd-3-clause
7
⛏️ 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