All Git Users → cwgoes

1 open source projects by cwgoes

[ Open user page on Github ]

1. tm-proposer-idris

Formalization of Tendermint proposer election properties

✭ 15

Idris Makefile blockchain tendermint formal-verification dlt

1-1 of 1 user projects