Random Stuff

“Cunning Papers”

opam

ssreflect

Coq Things

tactic w/ examples

tricks

more tricks

Coq linter

Proofster

Tactitian

Can<Can<Worm>>

Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Choose Your Own Derivative

FFI<Coq,C>

Raymond M. Smullyan - To Mock a Mockingbird and Other Logic Puzzles_ Including an Amazing Adventure in Combinatory Logic