Skip to main content
Proof Assistants Meta
hyper-neutrino's user avatar
hyper-neutrino's user avatar
hyper-neutrino's user avatar
hyper-neutrino
  • Member for 2 years, 5 months
  • Last seen more than 2 years ago
Profile Activity
Stats
101
reputation
143
reached
1
answer
0
questions
Communities
About

Elected moderator ♦ on Code Golf & Coding Challenges. You can contact me in The Nineteenth Byte or in the CGCC Mod Office.

You can join my discord server, The Particle Collider.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
7
Score
1
Posts
100
Posts %
7
Score
1
Posts
100
Posts %
7
Score
1
Posts
100
Posts %
Top posts
7
Vote to Migrate suggestion: Stack overflow
Feb 8, 2022