This is my little collection of cool content for proof assistants such as
coq (rocq), isabelle and others.

The main reason why this page exists is this image:


I couldn't find it anywhere on the internet, so I decided to save it here.

Also there was a cool place named proofcafe. It had a cool logo:


I like it too.

There's also a cool project by Rexim (aka tsoding) that is something like
coq, but not exactly coq: Noq.

I miss good old days when proof community wasn't dead.

For unknown to me reason someone shown me an microkernel with isabelle
proofs. I find it cool too: SeL4.