Tag Archives: mathlib

Two types of universe for two types of mathematician

Thank you Johan for pointing out to me that the mathlib stats page had got really good! But one thing that made me laugh is that somehow on their stats for commits I see I have done just enough to … Continue reading

Posted in Uncategorized | Tagged , , | 9 Comments