User Dima Pasechnik - Proof Assistants Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Ask questions, find answers and collaborate at work with Stack Overflow for Teams.
Try Teams for free Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Dima Pasechnik

Member for 2 years, 10 months
Last seen more than a month ago

GitHub
cs.northwestern.edu/~vqk0414
Oxford, United Kingdom

14 Badges

Recent Class Name

Caucus

× 2

Yearling

× 2

Constituent

Beta

Scholar

Quorum

Nice Question

Student

Commentator

Teacher

Editor

Precognitive

Supporter

Autobiographer