mechap

@mechap@lemmy.ml

This is a remote user, information on this page may be incomplete. View at Source ↗

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.

Looks like there's nothing here.