Area 51 » Bubbler

info activity reputation

reputation

38 views

discussion user

network profile

Registered User

name	Bubbler
member for	3 years
seen	Jan 11 at 23:02
website
location	대한민국 경기도 Icheon

stats accounts

0

Proposals

1

Current Commitment

353

committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.

define

commit

beta

0

Fulfilled Commitments

1

Followed

353

committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.

define

commit

beta

0

Example Questions

5

Votes Cast

5 up

0 down

6

Badges

● Nice Question × 3

user feed