3,005
reputation
216 views
discussion user
network profile

Registered User

name user13267
member for 8 years
seen 20 hours ago
website
location
1

Proposal

Korean Language

For linguists, teachers and students of the Korean language.
define
commit
beta

2

Current Commitments

641
committed

Substrate

For developers building blockchains with the Substrate SDK, including all parachain developers building on Polkadot, Kusama and other related technologies.
define
commit
beta
370
committed

Proof Assistants

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

1

Fulfilled Commitment

Korean Language

For linguists, teachers and students of the Korean language.
define
commit
beta

0

Followed


73

Votes Cast

73 up

0 down