/flower-auto

Can ❀ decide intuitionistic propositional logic?

Primary LanguageOCaml

Watchers