111 followers
@TaliaRinger Wouter Swierstra’s functional pearl on Hoare monad implementation helped me quite a bit in understanding monads in coq. https://t.co/TbDJGPn9jF
@TaliaRinger Wouter Swierstra’s functional pearl on Hoare monad implementation helped me quite a bit in understanding monads in coq. https://t.co/TbDJGPn9jF
Liveness Reasoning with Isabelle/HOL (27EUR) https://t.co/BPew9DzYSe