Login / Signup
Pierre Nigron
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Formal Methods
Theorem Prover
Star Shaped
Top Venues
ITP
</>
Publications
</>
Pierre Nigron
,
Pierre-Évariste Dagand
Reaching for the Star: Tale of a Monad in Coq.
ITP
(2021)