feat(saturation+typing): corpus 4→17, vocab 5→14+4, arbiters 1→4, exchange 2→6, 42-discipline embedding, E-R schema - #198

feat(saturation+typing): corpus 4→17, vocab 5→14+4, arbiters 1→4, exchange 2→6, 42-discipline embedding, E-R schema#198

hyperpolymath merged 13 commits into

mainhyperpolymath/echidna:mainfrom

prover-corpus-saturationhyperpolymath/echidna:prover-corpus-saturationCopy head branch name to clipboard