Skip to content

Replace calls to "vm_compute in hyps" by plain calls to vm_compute.#138

Open
silene wants to merge 1 commit intocoq-community:masterfrom silene:fix-vm-compute
+3-1

Commits

Commits on Apr 10, 2024