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 4 years, 4 months
  • 0 profile views
  • Last seen Aug 25 '20 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