Skip to main content

PROOF_MIN

logicaffeine_web::ui::pages::studio_layout

Constant PROOF_MIN 

Source 
pub const PROOF_MIN: f64 = 44.0;
Expand description

Logic’s proof drawer shrinks to its bar and no further.