fu-dietersheim / Blockchain

A verified permissioned centralized Blockchain for Isabelle/HOL

http://fu-dietersheim.de

fu-dietersheim/Blockchain Stargazers

Antonia Schmalstieg
accxev
Haslbeck Max
ammbauer
Cornelius Diekmann
diekmann
Daniel Phillips
DpEpsilon
khlrb
Michael Kerscher
mike1703
Profpatsch
Romain Ruetschi
romac
timothy
timothyklim
verybusybusiness
X4
X4

Links

ProductDiscover

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

Contact Site Admin: Giters.