Proof Assistants Beta
Jon Bannon's user avatar
Jon Bannon's user avatar
Jon Bannon's user avatar
Jon Bannon
  • Member for 1 year, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
361
reputation
701
reached
0
answers
1
question
Communities
View all
About

I am interested in the analogy between unitary representations of groups and bimodules of von Neumann algebras in its various guises.

Badges
This user doesn’t have any gold badges yet.
3
silver badges
7
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
26
Is there software for interfacing Lean code with LaTeX?
Feb 8, 2022
Top network posts
View all network posts
174
Striking applications of integration by parts
124
Collection of equivalent forms of Riemann Hypothesis
82
Proof synopsis collection
79
Publication rates in Mathematics
76
Each mathematician has only a few tricks

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.