logsem / clutch

Probabilistic separation logics for verifying higher-order probabilistic programs.

logsem/clutch Stargazers

Alejandro Aguirre
alejandroag
Paolo G. Giarrusso
Blaisorblade
Daniel Frumin
co-dan
Alexander Chichigin
gabriel-fallen
Markus de Medeiros
markusdemedeiros
Abel Sen
neuroevolutus
Nikita
nikitavoloboev
Guilherme
noghartt
Søren Eller Thomsen
sethomsen
Simon Gregersen
simongregersen
Aaron Bies
slerpyyy
Tim Kersey
tkersey

Links

ProductDiscover

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

Contact Site Admin: Giters.