I started making my textbook for Logic II next term, in 7 easy steps. Read about it at the Open Logic Project.

A computer-verified proof of ⊥: https://github.com/clarus/falso (h/t Byron Cook)