Contributing
Connect with Lean experts!
The independently-run Lean Community Zulip chat is the central hub for everything Lean. Whether you are a new or experienced Lean user, it’s a welcoming place to ask questions, share ideas, and collaborate with other Lean users.
Contributing to CSLib
We welcome contributions from everyone!
For detailed guidelines on how to contribute, please read the CONTRIBUTING.md file in the CSLib repository.
If you have questions or want to coordinate before starting, join us on the CSLib channel at Lean Zulip — are the recommended place to ask questions and discuss ideas.