Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Massin Guerdi
conf.researchr.org general profile
POPL 2026 profile
Registered user since Fri 14 Nov 2025
Name:
Massin Guerdi
Affiliation:
Ludwig-Maximilians-Universität München
Contributions
2026
CPP
Author of A Lambda-Superposition Tactic for Isabelle/HOL within the CPP 2026-track
Share
x
Mon 13 Apr 00:44