/predicativize

A tool for sharing proofs with predicative systems

Primary LanguageOCaml

Watchers