cslib

The Lean library for Computer Science.

Documentation at https://cs-lean.github.io/.

What's cslib?

Cslib aims at formalising Computer Science theories and tools, broadly construed, in the Lean programming language.

Aims

• Offer APIs and languages for formalisation projects, software verification, and certified software (among others).
• Establish a common ground for connecting different developments in Computer Science, in order to foster synergies and reuse.

Contributing and discussion

Please see our contribution guide and code of conduct.

For discussions, you can reach out to us on the Lean prover Zulip chat.