How big will "CSLib" be at the end of 2026?

Ṁ27

2026

ALL

30%

No CSLib has been publicly released

less than 1000 lines of Lean4 code

1000 - 9999 lines of Lean4 code

14%

10000 - 99999 lines of Lean4 code

15%

100000 - 999999 lines of Lean4 code

1000000 - 9999999 lines of Lean4 code

10000000 - 99999999 lines of Lean4 code

100000000 or more lines of Lean4 code

A recent announcement has been made on the Lean Zulip of a forthcoming "CSLib" library backed partially by the LeanFRO.

This question asks how many lines of code will exist in .lean files in this repository at the end of 2026. The repository hasn't been released as of market creation, but I will try to identify it when it is released.

"Lines of Code" here refers to "physical" lines of code, i.e. total number of lines in .lean files, regardless of whether those lines are comments or whitespace.

#️ Technology

#Computer Science

#The Lean Theorem Prover

#Unranked

Get

1,000

and

1.00

Comments

Related questions

Related questions