https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: 2d76718a2be2b05e22c57c2c0dd6dadd72134f05 authored by Jason Gross on 17 May 2021, 22:48:10 UTC
Update fancy machine to use the new curve_good requests
Tip revision: 2d76718
Crypto.Fancy.Montgomery256.prod_montred256_correct.Assumptions.expected
Closed under the global context
back to top