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
  • 0 profile views
  • Last seen Jan 5 at 6:58

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) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

Bronze

7

Rarest