epfl-lara / SystemFR

System FR: Formalized Foundations for Stainless

https://stainless.epfl.ch

9703

epfl-lara/SystemFR Stargazers

Adriel Casellas
AdrielC
Anqur
anqurvanillapy
Anton Trunov
anton-trunov
Paolo G. Giarrusso
Blaisorblade
Clément Blaudeau
clementblaudeau
Cheng Kuan
codeck
EDJ
DKXXXL
ebigram
ebigram
Romain Ruetschi
romac

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.