Minimal scripts to compile 2HOL/OHOL
Primary LanguageShellThe UnlicenseUnlicense
No one’s star this repository yet.