Christopher Goes
Results
1
repositories owned by
Christopher Goes
tm-proposer-idris
15
Stars
1
Forks
Watchers
Formalization of Tendermint proposer election properties
