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.
vprover/vprover.github.io
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|