Skip to content

Graph Theory v0.9.3
Compare
Choose a tag to compare
@palmskog palmskog released this 21 Aug 15:25
· 19 commits to master since this release
v0.9.3
80013ad
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This is a maintenance release supporting MathComp 2.0.0 and tested with Coq 8.16 to 8.18. The main change is a port to MathComp 2.0 by Pierre Roux.

Assets 2
Loading