Skip to main content
MathOverflow
Julian's user avatar
Julian's user avatar
Julian's user avatar
Julian
  • Member for 11 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
171
reputation
290
reached
0
answers
1
question
Communities
View all
About

Sometimes I make things. Sometimes they work.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
7
Finding prime ideals for ideal classes in arbitrary Dedekind domains
Nov 11
Top network posts
View all network posts
34
What is the difference between `leanprover` and `leanprover-community` GitHub repositories?
13
Are there any proof assistants which integrate JITs?
12
Using methods defined in __init__.py within the module
9
Python equivalents to LINQ
8
Trying to implement python TestSuite