Documentation Scientific and Technical Beat: Difference between revisions

Revision as of 09:14, 13 February 2015

Beat is open
This beat is now ready to have Fedora 25 content added by the beat writer

@@ Line 1: / Line 1: @@
-{{header|docs}}
+{{header|docs}}{{Docs_beat_open}}
-{{Docs_beat_open}}
-== gappa ==
-'''gappa''' is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.  Fedora 16 upgrades to version 0.15.0.  The project's web site may be found at [http://gappa.gforge.inria.fr/ http://gappa.gforge.inria.fr/].
 [[Category:Docs Project]]
 [[Category:Draft documentation]]
 [[Category:Documentation beats]]