About
PhD in nonstandard analysis and interactive theorem proving from the University of Edinburgh.
Researcher in automated reasoning
united-kingdom
PhD in nonstandard analysis and interactive theorem proving from the University of Edinburgh.