Grant Jurgensen
About
Publications
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