Skip to main content
Proof Assistants Meta
Kim Morrison's user avatar
Kim Morrison's user avatar
Kim Morrison's user avatar
Kim Morrison
  • Member for 2 years, 4 months
  • Last seen more than 2 years ago
Profile Activity
Stats
229
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
221
How do I ensure that figures appear in the section they're associated with?
193
Real-world applications of mathematics, by arxiv subject area?
105
How do I repeat a theorem number?
95
Which document class is being used?
67
Is there a simple way to compute the number of ways to write a positive integer as the sum of three squares?