Skip to content

Releases: mabdula/Isabelle-Graph-Library

ITP_2026_Primal_Dual

25 May 00:18
@mabdula mabdula
ITP_2026_Primal_Dual
5657733
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
ITP_2026_Primal_Dual Latest
Latest 
Updated README (2025-2)
Assets 2
Loading

JAR_2025_Blossom

12 Dec 19:17
@mabdula mabdula
JAR_2025_Blossom
372850d

Choose a tag to compare

View all tags
JAR_2025_Blossom

This is a release associated with the paper:

Mohammad Abdulaziz and Kurt Mehlhorn. A Formal Correctness Proof of Edmonds’ Blossom Shrinking Algorithm. J. Autom. Reason.: 2025.

Loading

ITP_2025

27 Jun 20:59
@mabdula mabdula
ITP_2025
4b827b3
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
ITP_2025 
Update README.md
Loading