GitHub Trending Topics Languages Repositories Users Organizations

/

leanprover cslib

Public

Watch0 Fork187 Star670

Code Issues Pull requests Insights

HEAD

READMEApache-2.0 license

No README is available through GitHub.

About

The Lean Computer Science Library (CSLib)

computer-science lean

Readme
Apache-2.0 license
Activity
670 stars
0 watching
187 forks

Contributors

View all contributors

See what the GitStar community is most excited about today.

Trending

GitHub Trending Today GitHub Trending Weekly GitHub Trending Monthly

Languages

Browse all languages Trending Python Trending JavaScript

Explore

Browse repositories Browse users Browse organizations Browse GitHub topics

© 2026 GitStarJobStar GitHub Trending source