Commit 97dbe99b authored by MARCHE Claude's avatar MARCHE Claude

lagrange using Coq 8.3

parent d625cbbd
......@@ -20,7 +20,7 @@
<prover
id="4"
name="Coq"
version="8.4"/>
version="8.3pl4"/>
<prover
id="5"
name="Z3"
......@@ -193,7 +193,7 @@
edited="lagrange_inequality_CauchySchwarzInequality_sqr_le_sqrt_1.v"
obsolete="false"
archived="false">
<result status="valid" time="1.61"/>
<result status="valid" time="1.14"/>
</proof>
</goal>
<goal
......@@ -219,7 +219,7 @@
edited="lagrange_inequality_CauchySchwarzInequality_CauchySchwarz_1.v"
obsolete="false"
archived="false">
<result status="valid" time="1.41"/>
<result status="valid" time="0.84"/>
</proof>
</goal>
</theory>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment