FMICS

Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into Isabelle

Edoardo Putti, Alexander Stekelenburg

in Room Din session FMICS Session 2 - Advanced Reasoning (on, Thu, 15:00, 2 talks over 60 min)