Login / Signup

Reaching for the Star: Tale of a Monad in Coq.

Pierre NigronPierre-Évariste Dagand
Published in: ITP (2021)
Keyphrases
  • theorem prover
  • formal methods
  • artificial intelligence
  • machine learning
  • database systems
  • star shaped