A toy project about formal validation of a Heap in Lean4
Primary LanguageLeanMIT LicenseMIT
No one’s star this repository yet.