The Proof Assistant as an Integrated Development Environment
No abstract available.
Related papers
- Producer: A Tool for Translating Smalltalk-80 to Objective-C OOPSLA 1987
- A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems CPP 2023
- Prototyping a query compiler using Coq (experience report) ICFP 2017
- POPLMark reloaded: Mechanizing proofs by logical relations JFP 2019
- Programming assurance cases in Agda ICFP 2011
- EMTST: Engineering the Meta-theory of Session Types TACAS 2020
- Integrated Graphics Environment to Develop Applications Based on Attribute Grammars CC 1992
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets TACAS 2012