omelkonian / formal-bitml

Formalization of the Bitcoin Modelling Language (BitML).

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

omelkonian/formal-bitml Stargazers

Massimo Bartoletti
bitbart
Jakub Błaszczyk
jblaszczyk
Stefano Lande
stefanolande

Links

ProductDiscover

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

Contact Site Admin: Giters.