mix theoria.validate (theoria v0.6.0)

Copy Markdown View Source

Validates Theoria's native theorem, defeq, and inductive corpus.