:arrow_right:Formal logic deduction based on system-L
Primary LanguagePythonMIT LicenseMIT
No one’s watching this repository yet.