Skip to main content
Proof Assistants Beta
wizzwizz4's user avatar
wizzwizz4's user avatar
wizzwizz4's user avatar
wizzwizz4
  • Member for 2 years, 10 months
  • Last seen this week
  • (e^π - π) metres west of previously observed location
Profile Activity
Stats
515
reputation
1k
reached
1
answer
5
questions
Communities
View all
About

I help people write code, when I'm not needing help myself. I use Firefox.

I'm a moderator on Retrocomputing Stack Exchange. (It turns out that moderatoring is hard.)

Useful links:

Pronouns: writer's discretion; if in doubt, use your own.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
15
bronze badges
Top tags
View all tags
2
Score
2
Posts
33
Posts %
2
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
question
20
How can I prove facts about floating point calculations?
Feb 8, 2022
question
11
Can a theorem prover reason about its own faulty hardware?
Feb 8, 2022
answer
2
Result contains obtained parameters? So what?
Sep 12, 2023
question
2
What is known about minimal sets of axioms? [closed]
Feb 22, 2022
question
2
How do I do for-all introduction in Isabelle?
Jul 28, 2023
question
1
Result contains obtained parameters? So what?
Sep 2, 2023
Top Meta posts
0
1
11
What should the name of our main chatroom be?
Top network posts
View all network posts
404
We are graduating the updated button styling for vote arrows
333
Statement from SO: June 5, 2023 Moderator Action
238
An apology to our community, and next steps
129
Stack Exchange is failing its community
124
We are updating our Code of Conduct and we would like your feedback