Experimental/internal API for 0.2; subject to change before 0.3. Lean declarations that bridge Theoria primitives not rendered directly to Lean core.
Summary
Functions
@spec source() :: String.t()
Returns Lean source for the oracle mirror prelude.
Experimental/internal API for 0.2; subject to change before 0.3. Lean declarations that bridge Theoria primitives not rendered directly to Lean core.
@spec source() :: String.t()
Returns Lean source for the oracle mirror prelude.