proof-automation topic
List
proof-automation repositories
mathlib
1.6k
Stars
298
Forks
Watchers
Lean 3's obsolete mathematical components library: please use mathlib4
refinery
68
Stars
2
Forks
Watchers
⛏️ A refinement proof framework for haskell
PUMPKIN-PATCH
50
Stars
2
Forks
Watchers
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
algebra-tactics
29
Stars
1
Forks
Watchers
Ring, field, lra, nra, and psatz tactics for Mathematical Components
mczify
22
Stars
7
Forks
Watchers
Micromega tactics for Mathematical Components
AutoInAgda
38
Stars
7
Forks
Watchers
Proof automation – for Agda, in Agda.
proof-tree-builder.github.io
31
Stars
2
Forks
Watchers
A web-based graphical proof assistant for LK and Hoare logic.