Stats
101
reputation
0
reached
0
answers
0
questions
About
Hi there, I'm an iOS programmer and functional programming enthusiast. During off hours I like to read Open Source code or formalize mathematics in Coq, Isabelle or Agda.
I have worked in several languages including: Java, Haskell, C++, .Net and Javascript. I have recently graduated with a Bachelor's in Computer Science (year 2022).
If you'd like to know more, Check out my Github or Twitter.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
-
SupporterJun 22, 2021
-
AutobiographerNov 26, 2020
Posts
This user hasn’t posted yet.
Top network posts
View all network posts