Dima Pasechnik

Member for 13 years, 9 months
Last seen more than a month ago

Twitter
GitHub
cs.ox.ac.uk/people/…
Oxford, United Kingdom

Summary

Reputation

13,925

Next tag badge

-2/100 score

5/20 answers

Badges

13

10

Newest

Yearling

Next badge

0/1

Excavator

Impact

~6k

people reached

0

helpful flags

47

votes cast

Answers

5

Is it OK to abuse Mathjax for emphasis?

Oct 29, 2018

4

Should Kevin Buzzard's Lean question be left in its original state?

Sep 22, 2018

0

No MathJax line wrapping in Firefox

Jun 3, 2021

-5

Should these sexually suggestive jokes be kept or deleted?

Aug 4, 2019

-6

close/reopen wars on Mathoverflow

Jun 27, 2018

Questions

14

FAQ on typesetting of formulae hard to find

Jul 29, 2016

4

TeX bug: \mod and \pmod gone

Jan 3, 2016

2

unaccepting an answer, and then accepting own similar answer

Jun 26, 2021

-2

close/reopen wars on Mathoverflow

Jun 25, 2018

Badges

View all badges

This user doesn’t have any gold badges yet.

13

silver badges

Yearling

× 13

Nov 26

10

bronze badges

Commentator

Jul 31, 2016
Popular Question

Oct 27, 2021
Scholar

Jun 29, 2018

Tags

View all 10 tags

mathjax

5

Score

4

posts

formatting

5

Score

1

post

markdown

5

Score

1

post

bug

0

Score

1

post

accepted-answer

0

Score

1

post

Accounts

View all 52 accounts

13.9k
2
33
70

711
4
11

Proof Assistants

480
4
12

465
6
12

367
4
18

Votes cast

43

upvotes

4

downvotes

21

question votes

26

answer votes