Skip to content
Michael Rawson edited this page Mar 14, 2024 · 14 revisions

This is the Vampire wiki - welcome! Developers should be able to "just edit" this without having to go through the pull request mechanism.

Information or documentation that is in some sense "global" should go here. If it's more localised to a particular part of the code, it should probably be a comment. Some of this moved here recently. Cleanup is very welcome.

The team is kept somewhat up-to-date - please add your own details! Discussion currently happens on Zulip - hang out there and ask questions.


Happy hacking!

Clone this wiki locally