Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

F

AVA / FloVer

A certificate checker for roundoff error bounds

0

updated Aug 16, 2018
L

FP / LambdaRust-coq

The Coq development of LambdaRust

1

updated Aug 08, 2018
I

FP / iris-coq

The Coq development for Iris

5

updated Aug 13, 2018
I

Marianna Rapoport / iris-coq

The Coq development for Iris

0

updated Aug 03, 2018