libjade icon indicating copy to clipboard operation
libjade copied to clipboard
verified publisher icon formosa-crypto

Fix links in README.md - section 'Properties guaranteed through interactive proofs'

Open tfaoliveira opened this issue 2 years ago • 0 comments

In the section Properties guaranteed through interactive proofs, there are two links about proofs, functional-correctness and security proofs, that are not working:

  • The corresponding sections need to be written.

Reported via internal communication channels, thanks @karthikbhargavan

tfaoliveira avatar Jun 19 '23 10:06 tfaoliveira