Skip to content

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

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

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

chore(CFG): fix references.bib

9e8c302
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 10, 2026 in 4s