Rocq-Elpi 2.5.2 for Rocq 9.0 and Coq 8.20

Latest

Latest

github-actions released this 29 Apr 09:10

· 14 commits to master since this release

d2ec2e1

What's Changed

Update documentation of coq.elpi.accumulate by @Tragicus in #811
Add coq.univ.alg-max by @lweqx in #812
silence warnings about large numbers by @gares in #814

Full Changelog: v2.5.1...v2.5.2

Contributors

gares, Tragicus, and lweqx

Assets 3