OptionProbability
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
No CSLib has been publicly released
24
23
13
11
3
1
Before the end of 2045
Before the end of 2040
Before the end of 2035
Before the end of 2030
20
15
10
5
Get the latest stories live on any device.
Top Stories
