Not registered as user yet
Name:Andrés Goens
Affiliation:the University of Edinburgh
Contributions
EGRAPHS 2022 | Equality Saturation as a Tactic for Proof Assistants | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Not registered as user yet
Contributions
EGRAPHS 2022 | Equality Saturation as a Tactic for Proof Assistants | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |