Commit 25a70711 authored by Arthur Correnson's avatar Arthur Correnson Committed by François Bobot
Browse files

integrates farith2

parent ef6b3f12
......@@ -2,5 +2,6 @@
(library
(name farith2)
(public_name farith2)
(libraries zarith)
(flags "-w" "-33"))
(lang dune 2.8)
(generate_opam_files true)
(package
(name farith2)
(synopsis "formaly verified floating-points valuations based on Flocq"))
Supports Markdown
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