Gihan Marasingha
@gihanmarasingha.bsky.social
Mathematician. Proof assistants. He/Him.
Devon, England
Devon, England
Something about me: I live in Devon. I’m a mathematician. I’m interested in interactive theorem proving and its application to teaching.
November 17, 2024 at 11:08 AM
Something about me: I live in Devon. I’m a mathematician. I’m interested in interactive theorem proving and its application to teaching.