Skip to content

evee v0.4

Choose a tag to compare

View all tags
@maphih maphih released this 29 Aug 11:17
· 71 commits to main since this release
v0.4
f10e44c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • #40: proofs can now be generated using NEMO.

Full Changelog: v0.3...v0.4https://docs.github.com/github/writing-on-github/getting-started-with-writing-and-formatting-on-github/basic-writing-and-formatting-syntax

Assets 3
Loading