Skip to main content

headline

logicaffeine_web::ui::pages::pigeonhole_viz

Function headline 

Source 
pub fn headline(spec: &PigeonSpec) -> String
Expand description

The result in one line: the certified refutation.