https://github.com/leanprover/cslib

A Lean library for Computer Science
https://github.com/leanprover/cslib

computer-science lean

Last synced: 3 months ago
JSON representation

A Lean library for Computer Science

• Host: GitHub
• URL: https://github.com/leanprover/cslib
• Owner: leanprover
• License: apache-2.0
• Created: 2025-06-17T08:59:32.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2025-10-23T12:45:31.000Z (3 months ago)
• Last Synced: 2025-10-23T13:17:48.605Z (3 months ago)
• Topics: computer-science, lean
• Language: Lean
• Homepage: https://cs-lean.github.io/
• Size: 588 KB
• Stars: 146
• Watchers: 10
• Forks: 25
• Open Issues: 18
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md
  • Codeowners: .github/CODEOWNERS
  • Governance: GOVERNANCE.md

Awesome Lists containing this project

README

          
# cslib

The Lean library for Computer Science.

Documentation at .

# 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](/CONTRIBUTING.md) and [code of conduct](/CODE_OF_CONDUCT.md).

For discussions, you can reach out to us on the [Lean prover Zulip chat](https://leanprover.zulipchat.com/).