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

Pierre Nigron, Pierre-variste Dagand

Browse the full ITP paper archive.