Helping you to block mainstream media to keep your sanity

Proving leftpad correct two-dozen different ways

A small and expressive dependently typed language

A Learning Environment for Theorem Proving with the Coq proof assistant

A list of philosophy books and resources.