Post #2494671

I don't think I truly appreciated how far ahead mathlib is compared to the other analysis libraries I have used. Half of the people at this workshop are just... regular mathematicians. And we're talking through theorems I understand maybe 5% of as a "realistic next step". AND this whole workshop is being framed as "Analysis is less supported than algebra in mathlib let's change that". Your "less supported" is my "I hope to understand it before I die"