Will Lean mathlib contain more than 10 million lines of code

Blockcircle - Financial Market Intelligence Platform. Founded 2021.

X/Twitter | LinkedIn | Discord

Will Lean mathlib contain more than 10 million lines of code | Blockcircle