README
this repo is in case i lose my local copy and also because it is so convenient to have a SCM
What is this repository for?
- For my day to day assignments for the prolog model checker that is one of my research goals.
- Version
- Learn Markdown
How do I get set up?
Contribution guidelines
- Writing tests
- Code review
- Other guidelines
Who do I talk to?
- me
- Other community or team contact