Skip to content
This repository has been archived by the owner on Oct 29, 2022. It is now read-only.

Latest commit

 

History

History
8 lines (6 loc) · 232 Bytes

CONTRIBUTING.md

File metadata and controls

8 lines (6 loc) · 232 Bytes

Welcome to Coq Bench!

So far we have no contributing rules other than please, submit a Pull Request!

The project is in early stages, so you must be ready for some churn for sure, but please, don't be scared.