Skip to main content
Proof Assistants Beta
wizzwizz4's user avatar
wizzwizz4's user avatar
wizzwizz4's user avatar
wizzwizz4
  • Member for 2 years, 5 months
  • Last seen more than a week ago
  • (e^π - π) metres west of previously observed location
Profile Activity
Stats
495
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
18
How can I prove facts about floating point calculations?
Feb 8, 2022
11
Can a theorem prover reason about its own faulty hardware?
Feb 8, 2022
2
Result contains obtained parameters? So what?
Sep 12, 2023
2
What is known about minimal sets of axioms? [closed]
Feb 22, 2022
2
How do I do for-all introduction in Isabelle?
Jul 28, 2023
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
128
Stack Exchange is failing its community
124
We are updating our Code of Conduct and we would like your feedback