Proof Assistants Beta
Tempestas Ludi's user avatar
Tempestas Ludi's user avatar
Tempestas Ludi's user avatar
Tempestas Ludi
  • Member for 11 months
  • Last seen more than a week ago
Profile Activity
Stats
225
reputation
378
reached
0
answers
3
questions
Communities
View all
About

I'm currently in University, studying Maths and Computer science.

For fun I like to build games and anything else that might be not very useful, but at least a bit challenging.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
0
Score
3
Posts
100
Posts %
0
Score
3
Posts
100
Posts %
0
Score
2
Posts
67
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Prove equality in a record type
Apr 23, 2022
question
4
Cannot discriminate `0 = 1`
Apr 13, 2022
question
3
Found type UU where "?T" was expected
Apr 19, 2022
Top network posts
View all network posts
48
Why does margin:0 auto; not work on this input button?
20
Terraria purple particles on monster
9
Commandline configuring portforwarding service with whitespace
9
Do the negative effects of wish apply to free wishes?
6
Quantifier for an implication

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.