Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of Mechap

Mechap

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.