v0.2.2

4ever2 released this 27 Nov 14:32

· 12 commits to main since this release

d199572

What's Changed

Compatibility with mathcom-analysis 1.7.0 by @4ever2 in #47
Nix flake suppport and CI by @sertel in #43
Coq 8.20 compatibility by @4ever2 in #48

Full Changelog: v0.2.1...v0.2.2

Contributors

4ever2 and sertel

Assets 2