/Oratio

Translate natural deduction proofs into natural language.

Primary LanguageOCamlMIT LicenseMIT

Watchers