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