Skip to content

Graph Theory v0.9.6

Latest
Latest
Compare
Choose a tag to compare
@proux01 proux01 released this 17 Apr 06:10
· 8 commits to master since this release
v0.9.6
8237641
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This is a maintenance release known to work with MathComp 2.0.0 to 2.4.0 and Coq 8.18 to 9.0.

Assets 3
Loading