Ph.D. student in computer science with background in interactive theorem proving, hygienic macros, typed meta-programming and flow analysis.
Q&A for professional and enthusiast programmers
Joined 1 year ago, last seen 11 days ago
Q&A for professional mathematicians
Joined 4 months ago, last seen 4 months ago