Explore projects

L

Iris / Logo

Archived 0

Updated Jan 30, 2021

Archived 0 0 0 0

Updated Jan 30, 2021
F

AVA / FloVer _public
BSD 2-Clause with views sentence

A certificate checker for roundoff error bounds (Public Version)

Archived 0

Updated Nov 08, 2017

Archived 0 0 0 0

Updated Nov 08, 2017
R

Felipe Cerqueira / rt-proofs

The main Coq development.

Archived 0

Updated Mar 09, 2021

Archived 0 0 0 0

Updated Mar 09, 2021
M

Carina Schmitt / my-awesome-project

Archived 0

Updated Jun 30, 2020

Archived 0 0 0 0

Updated Jun 30, 2020
P

FP / promising

An extraction of the promising semantics

Archived 0

Updated May 01, 2020

Archived 0 0

Updated May 01, 2020