User Mechap

Mechap

Member for 1 year, 8 months
Last seen more than a month ago

France

Stats

136

reputation

reached

answers

questions

Communities

View all

Stack Overflow

309
Mathematics

180
MathOverflow

136
TeX - LaTeX

125
Meta Stack Exchange

101

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.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

bronze badges

Supporter

Dec 12
Autobiographer

Aug 3

Posts

This user hasn’t posted yet.