Mechap has asked 0
questions and find answers to 2
problems.
Stats
11 EtPoint
1 Vote count
0 questions
2 answers
About
I am a C++ enthusiast who likes maths, homotopy type theory, template metaprogramming and all the intricacies of formal specifications of programming languages and mathematical foundations.