This repository has been archived by the owner on Jan 30, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
Insights: isabelle-prover/mirror-afp-2019
Community Standards
Here’s how this project compares to recommended community standards.
Checklist
-
-
Description
-
Code of conduct
-
Contributing Writing contributing guidelines
-
License Choosing a license
-
Security policy Set up a security policy
-
Issue templates
-
Pull request template
-
Repository admins accept content reports
What is the community profile?