Skip to content

1.6
Compare
Choose a tag to compare
@c-cube c-cube released this 13 Oct 14:04
· 1235 commits to master since this release
1.6
b90c394

This version contains major improvements from years of work on higher-order extensions to Superposition, including a new HO unification derived from JP unif. See papers on https://matryoshka-project.github.io/ 💃

Assets 2
Loading