Lean 3's obsolete mathematical components library: please use mathlib4
⛏️ A refinement proof framework for haskell
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting ...
Proof automation – for Agda, in Agda.
A web-based graphical proof assistant for LK and Hoare logic.
Ring, field, lra, nra, and psatz tactics for Mathematical Components