Merge pull request #98 from coq-community/spitters-patch-1

Create README.md
coq-community · Aug 6, 2020 · 99d82fa · 99d82fa
2 parents 9b572b1 + 110c845
commit 99d82fa
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/reals/faster/README.md b/reals/faster/README.md
@@ -0,0 +1,6 @@
+The files in this directory correspond to the formalization presented in:
+
+Robbert Krebbers and Bas Spitters, _Type classes for efficient exact real arithmetic in Coq_
+LMCS 9(1:1), 2013. 10.2168/LMCS-9(1:01)2013. [arXiv 1106.3448](http://arxiv.org/abs/1106.3448/)
+
+The code is available under the MIT license.