MetaPRL theories, get MetaPRL from https://github.com/LdBeth/metaprl
Primary LanguageOCaml
This repository is not active