Mathematics Stack Exchange
Mathematics Stack Exchange

Lev Lamberov
125
reputation
  • Yekaterinburg, Russia
  • Member since February 20 2014
  • 19 profile views
  • Last seen Oct 31 '21 at 16:25

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