/JonPRL

An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl

Primary LanguageStandard MLMIT LicenseMIT

Watchers