MetaPRL theories, get MetaPRL from https://github.com/LdBeth/metaprl
Primary LanguageOCaml
No one’s star this repository yet.