https://github.com/mit-plv/fiat-crypto
Tip revision: e83501253736d8403093203c195457de3f7574f4 authored by Jason Gross on 13 May 2020, 23:08:06 UTC
Try again to auto-bump crate version
Try again to auto-bump crate version
Tip revision: e835012
Crypto.Fancy.Montgomery256.prod_montred256_correct.Assumptions.expected
Axioms:
FunctionalExtensionality.functional_extensionality_dep : forall (A : Type)
(B : A -> Type)
(f
g : forall x : A,
B x),
(forall x : A,
f x = g x) ->
f = g