8000 Release 8.20.0 · rocq-community/corn · GitHub

More Web Proxy on the site http://driver.im/

8.20.0

Latest

Latest

spitters released this 27 Jan 15:14

· 2 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

0