3 ms·

Agree! I am learning a lot just reading through the mathlib definitions and playing around with proving simple compilers correct.