Skip to content

Generalise multiverse method names to support all proofs.#496

Merged
guggero merged 6 commits intomainfrom multiverse-renameSep 22, 2023