Proof Assistants Beta
pxeger's user avatar
pxeger's user avatar
pxeger's user avatar
pxeger
  • Member for 1 year, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
228
reputation
799
reached
0
answers
1
question
Communities
About

Programmer, administrator, musician, list, of, nouns, here.

he/him

Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
7
How do I install Lean 4?
Feb 8, 2022
Top Meta posts
1
0
9
Does [theorem-proving] need to exist?

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.