Repository navigation

8.20.0

spitters released this 27 Jan 15:14

· 18 commits to master since this release

a75b14f

What's Changed

Update maintainer list in README. by @Zimmi48 in #207
Adapt to rocq-prover/rocq#19530 by @proux01 in #208
Re-implement PixMap writer in Elpi by @MSoegtropIMC in #209
adapt to elpi 2.0 by @gares in #212
Adapt to rocq-prover/rocq#19801 by @proux01 in #214

New Contributors

@MSoegtropIMC made their first contribution in #209

Full Changelog: 8.19.0...8.20.0

Contributors

gares, Zimmi48, and 2 other contributors

Assets 2