Skip to main content
Loading ResearchHub…
Consistency Proofs for Axiomatic Extensions: Translating VerCors’ Axiomatic Data Types Into Isabelle | ResearchHub - ResearchHub