Add readmePrefix for FloVer

HeikoBecker · HeikoBecker · commit 1c24925dde3a · 2022-03-31T14:27:47.000+02:00
diff --git a/icing/flover/readmePrefix b/icing/flover/readmePrefix
@@ -0,0 +1,3 @@
+# FloVer - A Certificate Checker for Roundoff Error Bounds
+
+This is a copy of the FloVer code at [https://gitlab.mpi-sws.org/AVA/FloVer]

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# FloVer - A Certificate Checker for Roundoff Error Bounds`
	`2`	`+`
	`3`	`+This is a copy of the FloVer code at [https://gitlab.mpi-sws.org/AVA/FloVer]`