answer

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Kim Liesinger

Member for 1 year, 6 months
Last seen more than a month ago

Network profile

Stats

355

reputation

1k

reached

4

answers

0

questions

Loading…

Communities

Badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Jan 16

4

bronze badges

Excavator

Aug 28
Teacher

Jan 16, 2023
Editor

Aug 27

Top tags

lean

19

Score

4

Posts

100

Posts %

lean4

14

Score

3

Posts

75

Posts %

lean-mathlib

11

Score

3

Posts

75

Posts %

lean3

5

Score

1

Posts

25

Posts %

performance

5

Score

1

Posts

25

Posts %

Top posts

8

What are the goals of Lean 4?

Jun 10, 2023

5

Are there squeeze-versions of ring and abel?

Jan 16, 2023

5

Aesop Tactic in Lean

Jun 6, 2023

1

Automatic nightly Lean update?

Sep 24, 2023