https://github.com/mit-plv/fiat-crypto
Tip revision: 47278b0f3ef08fb5fa36070f6e8b0413c2b6d42d authored by Jason Gross on 13 May 2020, 23:01:21 UTC
Try again to auto-bump crate version
Try again to auto-bump crate version
Tip revision: 47278b0
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