Proof Assistants Beta
Alex J Best's user avatar
Alex J Best's user avatar
Alex J Best's user avatar
Alex J Best
  • Member for 1 year, 3 months
  • Last seen this week
Profile Activity
Stats
540
reputation
2k
reached
6
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
32
Score
5
Posts
83
Posts %
14
Score
1
Posts
17
Posts %
9
Score
2
Posts
33
Posts %
9
Score
1
Posts
17
Posts %
9
Score
1
Posts
17
Posts %
9
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
answer
14
Is there software for interfacing Lean code with LaTeX?
Feb 9, 2022
answer
9
Proof Assistants for Vim Users
Feb 9, 2022
answer
7
How to quickly look up what constructor/lemma I should use in Lean4?
Feb 21, 2022
answer
5
Lean: dubious noncomputability
May 16, 2022
answer
4
Suppressing notation in Lean
Sep 7, 2022
answer
2
How to create an instance of TotalBLE
Mar 10
Top network posts
View all network posts
18
The Best of Dover Books (a.k.a the best cheap mathematical texts)
18
Method to test if a number is a perfect power?
12
Classical number theoretic applications of the $p$-adic numbers
11
Reference to self-study Abstract Algebra and Category Theory
9
Mind-blowing mathematics experiments

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.