v0.0.4

absolutize some imports

v0.0.3

For Coq platform 8.17 beta.

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. rocq-prover/rocq#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

Kami v0.0.1-rv32i

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