formalize tarjan's algorithm in why3
formalize kosaraju's algorithm in why3
formalize kosaraju's algorithm in lean4
lengyijun/tarjan-kosaraju-why3-lean4
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
formalize tarjan's algorithm in why3
formalize kosaraju's algorithm in why3
formalize kosaraju's algorithm in lean4