3 ms·
Yes, you are quite right, but the community around Lean's standard library heavily focuses on classical mathematics.
by IngoBlechschmid 6y ago
Yes, you are quite right, but the community around Lean's standard library heavily focuses on classical mathematics.