Area 51 » Serkan Dereli

info activity reputation

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

stats accounts

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

user feed