4 ms·I agree. Mathlib (LEAN) is a great example of this.by mbrodersen 4y agoI agree. Mathlib (LEAN) is a great example of this.