Repository navigation
Insights: ericjiang18/Awesome-Formal-Mathematics
Community Standards
Here’s how this project compares to recommended community standards.
Checklist
-
-
Description Add a description to your repository so people understand the goals of your project.
-
Code of conduct
-
Contributing Writing contributing guidelines
-
License Choosing a license
-
Security policy Set up a security policy
-
Issue templates
-
Pull request template
Additional community file
-
Accessibility Describe your project's accessibility commitment, supported environments, known limitations, and how people can report barriers. Writing an accessibility statement · View an ACCESSIBILITY.md example
What is the community profile?