Supervisionary: a proof-checking system for HOL
Primary LanguageRustMIT LicenseMIT
No one’s star this repository yet.