A formalization of the Polonius borrow checker model RustLog
Tikz drawings
Code for University of Geneva, Sept 2018 - present