Published May 25, 2026
| Version ITP_2026_Primal_Dual
Software
Open
mabdula/Isabelle-Graph-Library: ITP_2026_Primal_Dual
Description
A formal mathematical library of graph-theoretic results. Focus is on algorithmic results.
Files
mabdula/Isabelle-Graph-Library-ITP_2026_Primal_Dual.zip
Files
(1.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8296546e24c1588c06ef4a3149af0a40
|
1.3 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/mabdula/Isabelle-Graph-Library/tree/ITP_2026_Primal_Dual (URL)
Software
- Repository URL
- https://github.com/mabdula/Isabelle-Graph-Library