Module pins 

Tool pins, baked in at build time from the workspace-root pins.toml (see build.rs). Read here once so every consumer (cargo-hax’s lean backend, the --help text) shares a single source of truth. build.rs requires a complete pins.toml (failing the build otherwise), so these are always present and non-empty in a successfully built binary.

Constants

AENEAS_REPO

Source repository of the pinned aeneas.

AENEAS_VERSION

Short commit SHA aeneas -version is expected to report.

CHARON_VERSION

Version charon version is expected to report.

LEAN_LIB_REPO

Source repository of the Hax lean proof library.

LEAN_LIB_VERSION

Commit of the Hax lean proof library.

LEAN_TOOLCHAIN

Lean toolchain written to generated lean-toolchain files.