Repo for a natual deduction calculus for adaptive reasoning
Primary LanguageTeX
No issues in this repository yet.