@sidgadgil@mathstodon.xyz
Joined: 11/21/2022
Mathematician at the Indian institute of science though mostly try Automating Theorem Proving these days. Original field Geometric Topology. http://math.iisc.ac.in/~gadgil/
{username} has no public lists
{username} has no activity yet