digama0

I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of TechnologyGothenburg, Sweden

• 
•