/prooftrees

Exploration of interactive inference rule application/proofs using a unification approach.

Primary LanguageTypeScript

No issues in this repository yet.