Source Package flocq

Builds
Updates
Bugs
Sources
Crash Reports
Koschei

Subpackages

flocq - Formalization of floating point numbers for Coq
flocq-source - Source Coq files

Sources on Pagure