Skip to main content

STAGE_A

logicaffeine_cli::interface::lean::intake

Constant STAGE_A 

Source 
pub const STAGE_A: Profile;
Expand description

Stage A: Lean 4.14.0, lean4export 3.1.0 (revision EXPORTER_REVISION), export format 3.1.0, Lean core only, and Lean’s three standard axioms.