Grant Jurgensen
Posts
Publications
Posts
Monad is a Monad is a Monad
February 18, 2022
The Curry-Howard Correspondence
January 8, 2022
A Fistful of Axioms
November 18, 2021
A Few of my Favorite Tactics
November 13, 2021
Coq Equality IV
August 3, 2021
Coq Equality III
August 3, 2021
Coq Equality II
August 3, 2021
Coq Equality I
August 3, 2021