vprover / vprover.github.io

Other
0 stars 5 forks source link

vprover.github.io

The Vampire project has a website!

The website is hosted on GitHub pages, making some use of the Jekyll templating library. Generally stuff is obvious: copy the style of whatever is there already, it's hard to break.

New Members

It's nice to have you on the team page! This is a simple process:

Push to master directly, we don't care that much. Welcome!

News

Add a news item by copying a file in _posts and updating the file name and fields accordingly. The list of news items will be updated automatically.