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