Explore projects

View rt-proofs project

Felipe Cerqueira / rt-proofs

The main Coq development.

Archived 0

Updated Mar 09, 2021

Archived 0 0 0 0

Updated Mar 09, 2021
View Logo project

Iris / Logo

Archived 0

Updated Jan 30, 2021

Archived 0 0 0 0

Updated Jan 30, 2021
View my-awesome-project project

Carina Schmitt / my-awesome-project

Archived 0

Updated Jun 30, 2020

Archived 0 0 0 0

Updated Jun 30, 2020
View promising project

FP / promising

An extraction of the promising semantics

Archived 0

Updated May 01, 2020

Archived 0 0

Updated May 01, 2020
View FloVer _public project

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