Skip to main content
Emacs
IsAdisplayName's user avatar
IsAdisplayName's user avatar
IsAdisplayName's user avatar
IsAdisplayName
  • Member for 2 years, 11 months
  • Last seen this week
Profile Activity

Stats

113
reputation
211
reached
1
answer
2
questions
Communities
View all

About

:)

Badges

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges

Top tags

1
Score
2
Posts
67
Posts %
1
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %

Top posts

answer
1
eglot not correctly parsing received JSONRPC
Mar 20
question
0
eglot not correctly parsing received JSONRPC
Mar 18
question
0
Using sql-ms with sqlcmd
May 22

Top network posts

View all network posts
18
law of excluded middle from subsets of finite sets being finite in “five stages of accepting constructive mathematics”
9
The Dual Of Exponentiation?
9
How to access local definitions in Agda
8
What is problematic with formalizing higher category theory directly in HoTT
7
Negation of Cauchy Criterion