Projects in Awesome Lists tagged with proof-engineering
A curated list of projects in awesome lists tagged with proof-engineering .
https://github.com/uwplse/coq-change-analytics
REPLICA: REPL Instrumentation for Coq Analysis
analysis analytics coq coq-ecosystem coq-plugin proof-engineering read-eval-print-loop repl replica user-study user-study-tool
Last synced: 20 May 2026
https://github.com/innovativeinventor/proof-repair-quotients
Artifact for "Proof Repair across Quotient Type Equivalences" paper (under submission)
cubical-agda cubical-type-theory proof-engineering proof-repair
Last synced: 02 Feb 2026
https://github.com/nktkt/leanpp
Kernel-safe upper-compatible proof-engineering layer over Lean 4. spec def, concept, refines, obligations, proofplan, trust ledger.
formal-verification lean lean4 proof-assistant proof-engineering theorem-proving verified-software-engineering
Last synced: 29 Apr 2026
