Complexity theory using combinators based on fold and some other prim… - #183

Draft

crei wants to merge 8 commits into

origin_mainfrom

complexity_using_combinators

Commits on Aug 31, 2026

Complexity theory using combinators based on fold and some other primitives.
crei
committed
0e79ef9
More results about UTM.
crei
committed
1f6a976

Commits on Sep 1, 2026

refactor
crei
committed
a2252c4
refactor
crei
committed
1ab12cd
more results
crei
committed
834704a
feat(Complexity): depth-bounded recursion, and Savitch's algorithm

crei
and
claude
committed
bad3a6c
feat(Complexity): certificates for the reach schema's fields

crei
and
claude
committed
3156473
feat(Complexity): the D obligation and the frame invariant for reach

crei
and
claude
committed
c5ca7ea