Login / Signup
Reaching for the Star: Tale of a Monad in Coq.
Pierre Nigron
Pierre-Évariste Dagand
Published in:
ITP (2021)
Keyphrases
</>
theorem prover
formal methods
artificial intelligence
machine learning
database systems
star shaped