Skip to content

feat: prove CNFA.{ofFSM, msbSet} #60

feat: prove CNFA.{ofFSM, msbSet}

feat: prove CNFA.{ofFSM, msbSet} #60

tools, scaling, and auto-generated stmts

succeeded Dec 20, 2024 in 57m 52s