vrahli/pistis vrahli/pistis

  • Stars
    star
    1
  • Language
    C++
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vrahli/pistis
github

vrahli

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

NuprlInCoq

Implementation of Nuprl's type theory in Coq
Coq
44
star
2

Velisarios

A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
Coq
26
star
3

damysus

C++
10
star
4

opentt

Agda
6
star
5

EventML

Standard ML
2
star
6

DistributedSystems

C++
1
star