Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Siddharth Bhat
conf.researchr.org general profile
PLDI 2022 profile
Not registered as user yet
Name:
Siddharth Bhat
Affiliation:
the University of Edinburgh
Contributions
2022
EGRAPHS
Author of Equality Saturation as a Tactic for Proof Assistants within the EGRAPHS 2022-track
Share
x
Wed 4 Oct 10:52