/Qed

First-Order Logic library with built-in Theories

Primary LanguageOCaml

Watchers