Skip to main content
Proof Assistants Beta
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 a week ago
  • Hamburg, DE
Profile Activity
Stats
231
reputation
328
reached
0
answers
1
question
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.
2
silver badges
8
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
13
What about dependent types is useful for theorem provers?
Feb 11, 2022
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