GitHub / neuralcoder3 1 project

Marcel Ullrich

Projects

Updated 9 months ago

prooftrees • Science 44%

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

automated-reasoning inference typescript unification website