Repo for a natual deduction calculus for adaptive reasoning
Primary LanguageTeX
No one’s star this repository yet.