Skip to main content
Proof Assistants Meta
Wojowu's user avatar
Wojowu's user avatar
Wojowu's user avatar
Wojowu
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
1,058
reputation
167
reached
3
answers
1
question
Communities
View all
About

Real name Wojtek Wawrów, display name Wojowu (sometimes LittlePeng9 on the web).

Currently a PhD student at London School of Geometry & Number Theory. I am mostly interested in number theory and its many variants, especially arithmetic geometry.

My website.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
8
bronze badges
Top tags
27
Score
4
Posts
100
Posts %
27
Score
4
Posts
100
Posts %
27
Score
4
Posts
100
Posts %
Top posts
24
Policy on self-answers
Feb 9, 2022
13
Policy on self-answers
Feb 9, 2022
7
Policy on self-answers
Feb 9, 2022
-10
Policy on self-answers
Feb 9, 2022
Top network posts
View all network posts
210
Help with a prime number spiral which turns 90 degrees at each prime
68
Is it possible to draw this picture without lifting the pen?
60
Why should we believe in the axiom of regularity?
58
$\forall n\in\mathbb N:n^x\in\mathbb Q$ implies $x\in\mathbb Z$ - elementary proof?
55
A conjectural trigonometric identity