v0.2.2

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

v0.2.1

What's Changed

• Add SSProve prefix to logpaths by @4ever2 in #41
• Simplify logpaths by @4ever2 in #42

Full Changelog: v0.2.0...v0.2.1

v0.2.0

What's Changed

• Mathcomp 2.1.0 support by @sertel in #40

New Contributors

• @sertel made their first contribution in #40

Full Changelog: v0.1.0...v0.2.0

v0.1.0

What's Changed

• OVN fixes by @4ever2 in #34

Full Changelog: journal-version...v0.1.0

Companion to journal version "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq"

Merge pull request #37 from 4ever2/update-deps

Support Coq 8.16 and 8.17

Companion to journal submission "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq"

journal-submission

Fix KEM-DEM definition of CCA

Companion to CSF paper "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq"

csf-paper

Update README