Skip to content

Complete entailment algorithm in Semantics Appendix#48

Merged
pfps merged 3 commits intow3c:mainfrom Antoine-Zimmermann:AZ-complete-entailment-appendixJun 27, 2024

Commits

Commits on Apr 24, 2024

Commits on May 2, 2024