What does cslib mean?

Stream: CSLib

[ramon jales]

I recently discovered lean in an undergraduate course. I've been finding it quite interesting, but I'm a beginner. I discovered cslib on LinkedIn, but I didn't really understand what cslib actually is. Here are some questions:

• What I understand is that it will be a library that will formalize computer science subjects for lean, with the goal of being able to do formal verification, right?
• Will it be an official library, with a repository and documentation like MathLib?
• And the most important question, what is this Boolean language? It already exists or will be developed, why do you need it?

[Clark Barrett]

CSLib is a project that is just getting started. The Boole language will provide a language for expressing imperative programs, akin to pseudocode you might find in a textbook. It is in the process of being designed. Look for more information in early-to-mid August.