A Lean library for Computer Science.

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

Cslib is a Lean library for computer science.

One aim is to offer reusable APIs for formalisation projects, software verification, and certified software (among others). Another aim is to try and establish a common ground for connecting different developments in Computer Science as much as possible, in order to foster reuse of ideas and results.

Please see our contribution guide and code of conduct.

For discussions, you can reach out on the leanprover Zulip chat.