Commit f7e398f8 authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

Add some basic README and a .gitignore

First housekeeping steps...
parent 2087a6f5
This repository contains the main Coq proof spec & proof development of the RT-PROOFS project.
## Plan
For now, this is more or less just a "code dump" with a flat hierarchy to get things started.
Going forward, the goal is to both
- restructure the repository as it grows in scope, and to
- add significant documentation to make it easier to bring new collaborators who are not yet familiar with Coq into the project.
## Commit and Development Rules
1. Always follow the project [coding and writing guidelines](doc/
2. Make sure the master branch "compiles" at each commit. This is not true for the early history of the repository, but going forward we should strive to keep it working at all times.
3. It's ok to develop in a (private) dirty branch, but then clean up and `git-rebase -i` on top of the current master before merging your work into master.
4. It's usually a good idea to ask first on the mailing list before merging a substantial change.
5. Pushing fixes, small improvements, etc. is always ok.
\ No newline at end of file
# Writing and Coding Guidelines
This project targets Coq *non*-experts. Accordingly, great emphasis is placed
on keeping it as simple and as accessible as possible.
*To be written…*
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment