The standard Theoria environment.
The prelude composes the built-in libraries in dependency order so users can start from a single environment instead of manually extending one library at a time.
Summary
Functions
@spec env() :: {:ok, Theoria.Env.t()} | {:error, Theoria.Error.t()}
Returns the standard environment with Logic, Bool, Nat, List, and Vec loaded.