Search Results - RepositoryStats

294

1.7k

apache-2.0

52

Lean 3's obsolete mathematical components library: please use mathlib4

lean formal-proofs formal-methods theorem-proving proof-automation formal-mathematics

This repository has been archived (exclude archived)

Created 2017-07-21

18,271 commits to master branch, last one about a year ago

3

69

bsd-3-clause

6

⛏️ A refinement proof framework for haskell

metaprogramming proof-automation proof-refinement

Created 2018-09-08

86 commits to master branch, last one about a year ago

2

51

mit

9

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

coq coq-plugin proof-repair pumpkin-patch proof-automation

Created 2017-10-07

655 commits to master branch, last one 3 years ago