GitPlanet
All Git Users → vrahli

2 open source projects by vrahli

[ Open user page on Github ]
1. Nuprlincoq
Implementation of Nuprl's type theory in Coq
✭ 31
coq
2. Velisarios
A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
✭ 19
CoqocamlMakefile
1-2 of 2 user projects