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 |
PLDI 2022-profile
View general profile
View general profile