Skip to content

GitLab

Explore

Sign in

AVA
FloVer

F

FloVer

Project information

A certificate checker for roundoff error bounds

1,957 Commits
8 Branches
1 Tag

README
BSD 2-Clause with views sentence

Created on

February 28, 2018

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:AVA/FloVer.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/AVA/FloVer.git