Getting started with 'The Little Prover'
So you are interested in proof assistants and you got your paws on the
LambdaCat is a blog which explains visually and succinctly interesting/useful/cool Functional Programming tidbits.
So you are interested in proof assistants and you got your paws on the