364
reputation
8 views
discussion user
network profile

Registered User

name Dokkat
member for 8 years
seen Nov 22 '21 at 15:06
website
location
0

Proposals


0

Current Commitments


1

Fulfilled Commitment

Ethereum

For Ethereum, the crypto value and blockchain-based consensus network.
define
commit
beta

1

Followed

353
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

6

Votes Cast

6 up

0 down