Source Package gappa

Builds
Updates
Bugs
Sources
Crash Reports
Koschei

Subpackages

gappa - Prove programs with floating-point or fixed-point arithmetic
gappa-doc - Documentation for gappa

Sources on Pagure