Area 51 » Marek

info activity reputation

reputation

33 views

discussion user

network profile

Registered User

name	Marek
member for	7 years
seen	Jan 30 at 9:14
website
location

stats accounts

0

Proposals

1

Current Commitment

107

days

Proof Assistants

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

define

commit

public beta

0

Fulfilled Commitments

0

Followed

1

Example Question

Lifehacks: How to maintain healthy diet in busy life? All calorie counting and organizing meals seems to be endless.

6

Votes Cast

6 up

0 down

13

Badges

● Movement
● Nice Question × 5

● Grassroots
● Editor

● Advocate
● Caucus

● Filibuster
● Centrist

user feed