/adaptiveND

Repo for a natual deduction calculus for adaptive reasoning

Primary LanguageTeX

adaptiveND

Repo for a natual deduction calculus for adaptive reasoning