Stack Overflow
Stack Overflow

Lev Lamberov
39
reputation
8
  • Yekaterinburg, Russia
  • Member since October 31 2012
  • 56 profile views
  • Last seen Jun 29 '23 at 16:59

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