Skip to content

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

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

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

Annotations

2 warnings

build (coqorg/coq:dev)

succeeded Apr 10, 2024 in 1m 59s