lib · master · Maxime Dénès / coq

GitLab upgrade completed. Current version is 17.11.3.

Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

Forked from The Rocq Prover / The Rocq Prover

Source project has a limited visibility.

Merge PR #17679: Helper module to define comparison functions, and use it in Constr.compare

coqbot authored 1 year ago

Reviewed-by: ppedrot
Co-authored-by: ppedrot <ppedrot@users.noreply.github.com>

fbaea898

History

fbaea898 1 year ago

History

Name	Last commit	Last update
..

Admin message

Admin message