Skip to main content
Proof Assistants Beta
Kim Liesinger's user avatar
Kim Liesinger's user avatar
Kim Liesinger's user avatar
Kim Liesinger
  • Member for 1 year, 11 months
  • Last seen more than 1 year ago
Profile Activity
Stats
365
reputation
2k
reached
4
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
20
Score
4
Posts
100
Posts %
15
Score
3
Posts
75
Posts %
12
Score
3
Posts
75
Posts %
5
Score
1
Posts
25
Posts %
5
Score
1
Posts
25
Posts %
Top posts
answer
8
What are the goals of Lean 4?
Jun 10, 2023
answer
6
Aesop Tactic in Lean
Jun 6, 2023
answer
5
Are there squeeze-versions of ring and abel?
Jan 16, 2023
answer
1
Automatic nightly Lean update?
Sep 24, 2023