Skip to main content

structure_accounting

logicaffeine_proof::census

Function structure_accounting 

Source 
pub fn structure_accounting(n: usize) -> StructureAccounting
Expand description

Compute StructureAccounting for n (lean: certified rung per orbit, reaches n=4).