Grant Jurgensen
AboutPublications

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

Grant Jurgensen

  • Grant Jurgensen
  • grant@jurgensen.dev
  • gjurgensen

Welcome to my site! I write about my interests in formal methods, functional programming, and type theory.