Minimal scripts to compile 2HOL/OHOL
Primary LanguageShellThe UnlicenseUnlicense
No issues in this repository yet.