Skip to content

v0.1.6: Ed25519: Cleanup Basic.v

Pre-release
Pre-release

Choose a tag to compare

View all tags
@andres-erbsen andres-erbsen released this 06 Oct 22:41
· 150 commits to master since this release
v0.1.6
9d06824 
Rename, shorten, and revise some proofs and definitions in Basic.v, also
add a Module to make it more clear that we're working with extended
coordinates. Some of this may be personal preference.
Assets 7
Loading