The documentation website for Gillian, built with VitePress.
The API reference is bodged into Markdown from odoc's JSON output; this is not perfect but seems to work well enough.
Files under odoc/ should not be edited manually; they are automatically committed from CI jobs on the main Gillian repository.