Example proofs about C programs using AutoCorres
Primary LanguageIsabelleMIT LicenseMIT
No issues in this repository yet.