83
reputation
7

Lev Lamberov

Some arbitrary code: Python, Perl, Prolog, Haskell, Agda, Coq... Mostly academic stuff.

1
answer
1
question
~2k
people reached
  • Yekaterinburg, Russia
  • Member for 3 years, 9 months
  • 0 profile views
  • Last seen Aug 25 at 7:17

Top tags (6)

Score 4
Posts 1
Posts % 50
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)

Badges (7)

Gold

Silver

Bronze

7

Rarest