Skip to content

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

Draft
quartztz wants to merge 6 commits into
leanprover:mainfrom
quartztz:qtz/kildall
Draft

feat(CFG): Verified implementation of Kildall's algorithm#782
quartztz wants to merge 6 commits into
leanprover:mainfrom
quartztz:qtz/kildall

chore(CFG): fix lints

85af5c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 7, 2026 in 5s