Gihan Marasingha
gihanmarasingha.bsky.social
Gihan Marasingha
@gihanmarasingha.bsky.social
Mathematician. Proof assistants. He/Him.
Devon, England
No media yet.