feat(corpus): expand synthetic proofs for least-represented provers - #20

feat(corpus): expand synthetic proofs for least-represented provers#20

hyperpolymath merged 2 commits into

mainhyperpolymath/echidna:mainfrom

claude/expand-vocabulary-corpus-1SFwyhyperpolymath/echidna:claude/expand-vocabulary-corpus-1SFwyCopy head branch name to clipboard