SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Yannick Forster

Registered user since Thu 4 May 2017

Name:Yannick Forster
Country:France
Affiliation:Inria
Personal website:https://yforster.de

Contributions

Unsound 2022 MetaCoq as a tool to prevent future unsoundness in Coq
Show activities from other conferences

Using general profile