Christopher Goes

https://pluranimity.org

γαλαξίας κύκλος

Results 1 repositories owned by


Christopher Goes

tm-proposer-idris

15

Stars

1

Forks

Watchers

Formalization of Tendermint proposer election properties

formal-verification