Rocq.Navigator

Modules

		Assembly
`Anchors`	Page routes and the anchors on a module page	`Nacara.Plugin.Rocq`
`Article`	The content of a module's page: its source file in source order, as blocks of prose and code	`Nacara.Plugin.Rocq`
`Cards`	The client data files: a card per reference key on a page, and the search index	`Nacara.Plugin.Rocq`
`Guarantees`	The index page: the project's titled theorems, sorted by what their proofs establish	`Nacara.Plugin.Rocq`
`Highlight`	Colours `rocq` and `coq` code blocks, using the tokens and keywords of the library's reading of a source file	`Nacara.Plugin.Rocq`
`Source`	Renders byte ranges of a Rocq source file as HTML	`Nacara.Plugin.Rocq`

		Assembly
`Config`	Project settings read from `navigator.json`	`Nacara.Plugin.Rocq`
`Facts`	The contents of `facts.json`	`Nacara.Plugin.Rocq`
`SymbolFact`	What Rocq reported about a symbol	`Nacara.Plugin.Rocq`

		Assembly
`Assumptions`	The output of `Print Assumptions`	`Nacara.Plugin.Rocq`