Skip to main content
Proof Assistants Beta
postmortes's user avatar
postmortes's user avatar
postmortes's user avatar
postmortes
  • Member for 2 years, 5 months
  • Last seen more than a week ago
  • London, England
Profile Activity
Stats
329
reputation
578
reached
0
answers
1
question
Communities
View all
About

Current mood: Lasciate ogni speranza, voi ch'entrate.

Current language: Russian with a Ukrainian accent.

Current game: Diablo 3

Current book: Bounded Variation and Around (Banas, Appell, Diaz)

Current music: Fire walk with me (Zynic)

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
21
What are good books for learning about proof assistants for Functional Analysis?
Feb 10, 2022
Top network posts
View all network posts
23
The art of proof summarizing. Are there known rules, or is it a purely common sense matter?
14
Difference between Measurable and Borel Measurable function
11
What is the motivation behind naming identity matrix as "eye"?
10
Math formula with $\mathcal N$ symbol. What is it?
9
What is the difference between pointwise boundedness and boundedness?