User ice1000 - Proof Assistants Stack Exchange

ice1000

Member for 1 year, 3 months
Last seen this week

GitHub
ice1000.org
Pennsylvania, USA

34 Badges

Recent Class Name

Popular Question

× 4

Peer Pressure

Citizen Patrol

Announcer

× 6

Yearling

Excavator

Nice Question

× 15

Inquisitive

Organizer

Good Question

Quorum

Enthusiast

Constituent

Caucus

Enlightened

× 2

Nice Answer

× 4

Beta

Talkative

Self-Learner

Curious

Tag Editor

Custodian

× 5

Critic

Precognitive

Explainer

Commentator

Autobiographer

Scholar

Supporter

Teacher

Student

Editor

Mortarboard

Informed