Skip to main content
Proof Assistants Meta
Wheat Wizard's user avatar
Wheat Wizard's user avatar
Wheat Wizard's user avatar
Wheat Wizard
  • Member for 2 years, 5 months
  • Last seen more than 2 years ago
  • Hamburg, DE
Profile Activity
Stats
231
reputation
0
reached
0
answers
0
questions
Communities
View all
About

I work with go and Dart.

I used to work with Kotlin and Clojure.

I like Haskell and Agda a lot.

I have a soft spot for Prolog and C++.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
171
I double the source, you double the output!
136
(-a) × (-a) = a × a
101
Write a Programming language of Unknown Completeness
94
Decidability of the Riemann Hypothesis vs. the Goldbach Conjecture
88
Leak Memory in as few bytes as possible