Theoria.DSL.Theorem (theoria v0.7.0)

Copy Markdown View Source

Theorem macro support for Theoria.DSL.

Summary

Functions

theorem(name, opts \\ [], list)

Declares a checked theorem function trio from type and proof blocks.

Functions

theorem(name, opts \\ [], list)

(macro)

Declares a checked theorem function trio from type and proof blocks.