Proof General: A Generic Tool for Proof Development
No abstract available.
Related papers
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic ICFP 2018
- REPLica: REPL instrumentation for Coq analysis CPP 2020
- Further Tackling Post Correspondence Problem and Proof Generation CPP 2025
- Automated Verification of Consistency in Zero-Knowledge Proof Circuits CAV 2025
- Better Counterexamples for Dafny TACAS 2022
- A compositional proof framework for FRETish requirements CPP 2022
- Building reliable, high-performance networks with the Nuprl proof development system JFP 2004
- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation CAV 2021