We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Spring 2024 release
GeoCoq v2.4.1
Update Changelog
fix for 8.5
add compatibility 8.6 + a few lemmas
add compatibility
changelog
release commit