Mentions légales du service

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

G Gappa
Group information
- Group information
- Activity
- Labels
- Members
Issues 5
- Issues 5
- List
- Board
- Milestones
Merge requests 0
- Merge requests 0
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

Gappa

G

Gappa

Group ID: 7676

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.