- Notifications
You must be signed in to change notification settings - Fork 24
Insights: leanprover/cslib
Community Standards
Here’s how this project compares to recommended community standards.
Checklist
-
- Description
- Security policy Set up a security policy
- Issue templates
- Pull request template
- Repository admins accept content reports
What is the community profile?