cslib

A Lean library for Computer Science.

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

What's cslib?

Cslib is a Lean library for computer science.

Aims

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.

Contributing and Discussion

Please see our contribution guide and code of conduct.

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