Posts

• Feb 18, 2022

  Monad is a Monad is a Monad

• Jan 8, 2022

  The Curry-Howard Correspondence

• Nov 18, 2021

  A Fistful of Axioms

• Nov 13, 2021

  A Few of my Favorite Tactics

• Aug 3, 2021

  Coq Equality IV

• Aug 3, 2021

  Coq Equality III

• Aug 3, 2021

  Coq Equality II

• Aug 3, 2021

  Coq Equality I

subscribe via RSS