Skip to main content
Proof Assistants Beta
Alex Byard's user avatar
Alex Byard's user avatar
Alex Byard's user avatar
Alex Byard
  • Member for 1 year, 3 months
  • Last seen more than a month ago
  • Chicago, IL
Profile Activity
Stats
486
reputation
4k
reached
1
answer
15
questions
Communities
View all
About

I am a mathematician working in Liouville quantum gravity and Liouville conformal field theory. I also have interests in type theory, quantum computing, and quantitative methods in finance.

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
13
bronze badges
Top tags
View all tags
2
Score
15
Posts
94
Posts %
2
Score
14
Posts
88
Posts %
0
Score
11
Posts
69
Posts %
0
Score
4
Posts
25
Posts %
0
Score
1
Posts
6
Posts %
0
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
6
Type Theory Lean 3 to Lean 4
May 4, 2023
5
Aesop Tactic in Lean
Jun 6, 2023
4
How to think about writing Lean theorems
Sep 24, 2023
4
Lean 4 Importing into VSCode
May 3, 2023
4
Auxiliary Typeclasses in Lean
May 29, 2023
4
Graph Theory in Lean
Jun 2, 2023
2
Must-read Lean 4 Mathlib Files
May 16, 2023
2
Vectors in Lean
May 10, 2023
2
Lean 4 Importing into VSCode
Sep 20, 2023
2
Understanding Mathlib/MeasureTheory Notation
Sep 24, 2023
Top network posts
View all network posts
8
Stone-topological/profinite equivalence for quandles
6
A group is profinite if and only if it is a Stone space
6
Basic closed subsets of Stone topological group presented as inverse limit, inner automorphism group of profinite group