Verification framework for higher-order functional programs
Primary LanguageScalaOtherNOASSERTION
No one’s star this repository yet.