Emacs
Lev Lamberov's user avatar
Lev Lamberov's user avatar
Lev Lamberov's user avatar
Lev Lamberov
  • Member for 7 years, 3 months
  • Last seen more than 2 years ago
Profile Activity
Stats
83
reputation
3k
reached
1
answer
1
question
Communities
View all
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
4
How to org-export literal list?
Jan 4, 2017
answer
4
two different config files for Emacs
Jan 7, 2017
Top network posts
View all network posts
11
What is the definition of function in ZF/ZFC?