We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a2a9963 commit d2ec2e1Copy full SHA for d2ec2e1
Changelog.md
@@ -1,4 +1,6 @@
1
-# UNRELEASED
+# [2.5.2] 29/4/2025
2
+
3
+Requires Elpi 2.0.7 and Coq 8.20 or Rocq 9.0.
4
5
### API
6
- New `coq.univ.alg-max` API that relates two universes to their algebraic
0 commit comments