From ef6b158b511abfe004d23e0b7faab074e281f4da Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Thu, 6 Apr 2017 11:47:01 -0400 Subject: note running time of Weierstrass associativity Qed --- src/WeierstrassCurve/WeierstrassCurveTheorems.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/WeierstrassCurve/WeierstrassCurveTheorems.v b/src/WeierstrassCurve/WeierstrassCurveTheorems.v index 7547eb147..bfc07814f 100644 --- a/src/WeierstrassCurve/WeierstrassCurveTheorems.v +++ b/src/WeierstrassCurve/WeierstrassCurveTheorems.v @@ -191,6 +191,6 @@ Module W. Time s. (* Finished transaction in 0.068 secs (0.066u,0.s) (successful) *) (* Total: 414.396 seconds, roughly 7 minutes*) - Time Qed. + Time Qed. (* Finished transaction in 390.998 secs (390.783u,0.276s) (successful) *) End W. End W. -- cgit v1.2.3