feat(CFG): Verified implementation of Kildall's algorithm - #782

Draft

quartztz wants to merge 10 commits into

leanprover:mainfrom

quartztz:qtz/kildall

Commits on Aug 6, 2026

feat(CFG): CFG + Kildall with termination
quartztz
committed
80bf039

Commits on Aug 7, 2026

feat(CFG): Correctnesses!
quartztz
committed
d092b62
chore(CFG): cleanup
quartztz
committed
f958173
chore(CFG): refactor
quartztz
committed
ccd675c
feat(CFG): add minimality
quartztz
committed
b6969db
chore(CFG): fix lints
quartztz
committed
85af5c0

Commits on Aug 8, 2026

chore(CFG): update references.bib
quartztz
committed
d3e1e38

Commits on Aug 10, 2026

feat(CFG): recharacterize based on quivers and finsets
quartztz
committed
5be94bd
chore(CFG): fix lints
quartztz
committed
0237dc8
chore(CFG): fix references.bib
quartztz
committed
9e8c302