-
Notifications
You must be signed in to change notification settings - Fork 48
Home
Michael Rawson edited this page Jul 12, 2023
·
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.
TODO: some of this used to live elsewhere. In particular HACKING
was one enormous file in the main Vampire repository, and it could use splitting up.
The other pages could use updating and extending. Contributions very welcome!