Sign inSign up

leanprover/cslib

The Lean Computer Science Library (CSLib)

LeanStars 193Forks 37Watchers 193Open issues 29License Apache License 2.0
Details
仓库信息
Ownerleanprover
Homepagehttps://www.cslib.io/
GitHubhttps://github.com/leanprover/cslib
Last pushed2025-12-14
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--