An experiment in verifying a small programming language
Primary LanguageHaskellEuropean Union Public License 1.2EUPL-1.2
No issues in this repository yet.