Skip to main content
Proof Assistants Beta
Kyle Miller's user avatar
Kyle Miller's user avatar
Kyle Miller's user avatar
Kyle Miller
  • Member for 2 years, 5 months
  • Last seen more than a week ago
Profile Activity
Stats
506
reputation
2k
reached
5
answers
0
questions
Communities
View all
About

I got my PhD at UC Berkeley, and now I am a postdoc at UC Santa Cruz. I'm mostly interested in low-dimensional topology (knot and spatial graph theory) and in using computers to study math.

KnotFolio: https://knotfol.io/

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
29
Score
4
Posts
80
Posts %
18
Score
2
Posts
40
Posts %
14
Score
1
Posts
20
Posts %
10
Score
1
Posts
20
Posts %
4
Score
1
Posts
20
Posts %
4
Score
1
Posts
20
Posts %
Top posts
14
Proof review: Sum of nCk over antidiagonal = Fibonacci
Feb 14, 2022
10
Lean: dubious noncomputability
May 16, 2022
4
Lean4 instance management
Apr 17
3
Are all LEAN tactics equivalent to applying some theorem?
Nov 12, 2023
2
How can I use a dummy variable to prove a lemma in Lean3?
Jan 20, 2023
Top network posts
View all network posts
38
Verifying 'standup maths' homeomorphism claim
33
How can 4 resistors of 30ohms each be connected so you end up with a resistance of 18ohms?
26
Gap between an even integer and the next smaller prime?
22
What does it mean for something to hold "up to isomorphism"?
21
Porting use of BASIC to-the-power ^ operator