We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 15deff3 commit fa15ee6Copy full SHA for fa15ee6
_CoqProject
@@ -30,6 +30,7 @@ reals/constructive_ereal.v
30
reals/reals.v
31
reals/real_interval.v
32
reals/signed.v
33
+reals/interval_inference.v
34
reals/prodnormedzmodule.v
35
reals/all_reals.v
36
experimental_reals/xfinmap.v
0 commit comments