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

• Offer reusable 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 on the leanprover Zulip chat.