Emacs
Arthur Azevedo De Amorim's user avatar
Arthur Azevedo De Amorim's user avatar
Arthur Azevedo De Amorim's user avatar
Arthur Azevedo De Amorim
  • Member for 9 years
  • Last seen this week
Profile Activity
Stats
203
reputation
3k
reached
1
answer
2
questions
Communities
View all
About

http://arthuraa.net

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
8
Score
2
Posts
67
Posts %
8
Score
1
Posts
33
Posts %
8
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
8
Problem "<dead-acute> is undefined" appearing when typing Greek stress ( ' )
Dec 8, 2014
question
2
Dead keys not working in Emacs-Lisp mode *only*
Dec 8, 2014
question
0
Highlight query-replace-regexp results while searching
Oct 21, 2022
Top network posts
View all network posts
90
What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
28
Why are logical connectives and booleans separate in Coq?
23
How to display matplotlib plots in a Jupyter tab widget?
22
Historically, how did people define multiplication for negative numbers?
21
What does "Error: Universe inconsistency" mean in Coq?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.