Finmap 2.2.3

Latest

Latest

CohenCyril released this 27 Feb 22:34

· 10 commits to master since this release

04f70a5

What's Changed

Adapt to rocq-prover/rocq#21611 by @proux01 in #150
Update Docker/Nix CI by @pi8027 in #151

Full Changelog: 2.2.2...2.2.3

Contributors

pi8027 and proux01

Assets 2