omelkonian / formal-bitcoin

Formal model of Bitcoin transactions in Agda

https://omelkonian.github.io/formal-bitcoin

5100

omelkonian/formal-bitcoin Stargazers

Ke Shen
Ascarshen
Carlos Tomé
carlostome
Tim Johns
SlimTim10
Victor Cacciari Miraldo
VictorCMiraldo
Janus Troelsen
ysangkok

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.