Skip to content

refman: generate JSON indices#22044

Open
shilangyu wants to merge 5 commits into
rocq-prover:masterfrom
shilangyu:mw/computer-indices
Open

refman: generate JSON indices#22044
shilangyu wants to merge 5 commits into
rocq-prover:masterfrom
shilangyu:mw/computer-indices

doc: encode data unions in indices in an outer manner

116aff8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Linux (latest OCaml)
succeeded May 20, 2026 in 6m 51s