This repository hosts guidelines for proof artifacts that can be used by authors and reviewers of Artifact Evaluation Committees. For questions and suggestions, contact Marianna Rapoport.
proofartifacts/guidelines
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|