Area 51 » Serkan Dereli

51
reputation
2 views
network profile

Registered User

name Serkan Dereli
member for 5 months
seen Dec 10 '21 at 19:03
website
location

Crypto, nft investör and player

0

Proposals


1

Current Commitment

101
days

Proof Assistants

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

0

Fulfilled Commitments


0

Followed


0

Example Questions


0

Votes Cast

1

Badges

 Pioneer