Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Antoine Gaulin
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
POPL 2025 profile
Not registered as user
Name:
Antoine Gaulin
Country:
Canada
Affiliation:
McGill University
Contributions
2025
ICFP
Author of McTT: A Verified Kernel for a Proof Assistant within the ICFP Papers-track
WITS
Author of McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory within the WITS 2025-track
Share
x
Mon 13 Jul 20:07