Create graphics with a hand-drawn, sketchy, appearance

Source code for rib.rs

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant