Not registered as user yet

Name:Siddharth Bhat
Affiliation:the University of Edinburgh

Contributions

EGRAPHS 2022 Equality Saturation as a Tactic for Proof Assistants
Show activities from other conferences

Using general profile