Theoria.Validation (theoria v0.5.0)

Copy Markdown View Source

Runs Theoria-owned validation corpora.

Summary

Functions

check(corpus)

Checks theorem modules, definitional equalities, and inductive specs.

Functions

check(corpus)

@spec check(Theoria.Validation.Corpus.t()) ::
  {:ok, Theoria.Validation.Report.t()} | {:error, term()}

Checks theorem modules, definitional equalities, and inductive specs.