CSL News

100000 - 999999 lines of Lean4 code

10000 - 99999 lines of Lean4 code

1000 - 9999 lines of Lean4 code

1000000 - 9999999 lines of Lean4 code

10000000 - 99999999 lines of Lean4 code

100000000 or more lines of Lean4 code

less than 1000 lines of Lean4 code

Before the end of 2045

Before the end of 2040

Before the end of 2035