Skip to main content
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 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
625
reputation
4k
reached
7
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
View all tags
39
Score
6
Posts
86
Posts %
16
Score
1
Posts
14
Posts %
10
Score
2
Posts
29
Posts %
9
Score
1
Posts
14
Posts %
9
Score
1
Posts
14
Posts %
9
Score
1
Posts
14
Posts %
Top posts
16
Is there software for interfacing Lean code with LaTeX?
Feb 9, 2022
9
Proof Assistants for Vim Users
Feb 9, 2022
8
How to quickly look up what constructor/lemma I should use in Lean4?
Feb 21, 2022
6
Lean: dubious noncomputability
May 16, 2022
4
Suppressing notation in Lean
Sep 7, 2022
3
Implementing and verifying algorithms for solving equations in Lean
Jan 9
2
How to create an instance of TotalBLE
Mar 10, 2023
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
10
How does one actually compute the dual isogeny?