Kami v0.0.2-rv32i

A pre-release tag for use with Fiat Cryptography v0.0.16 and a non-dev opam package.

What's Changed

• Adapt w.r.t. coq/coq#16004 by @Alizter in #28
• improved auto goal selection by @mrhaandi in #29

New Contributors

• @Alizter made their first contribution in #28

Full Changelog: v0.0.1...v0.0.2