#Coq Coq Correct: Verification of Type Checking and Erasure for Coq, in Coq
hey you know what's cute?
RepRage – How Banksy Authenticates His Work
Type-checking the session-typed pi-calculus in Coq (master's thesis)
I wrote poetry... in #Haskell...