Skip to content

feat: prove CNFA.{lift, proj} #53

feat: prove CNFA.{lift, proj}

feat: prove CNFA.{lift, proj} #53

tools, scaling, and auto-generated stmts

succeeded Dec 19, 2024 in 57m 31s