Closed SamuelArsac closed 1 year ago
Missing extraction Z.of_nat causes an error when running run.sh.
Z.of_nat
run.sh
Missing extraction
Z.of_nat
causes an error when runningrun.sh
.