coq-neural-net-interp-computed can run without coq-native#2714

Merged

JasonGross merged 1 commit intocoq:masterfrom JasonGross:nn-interp-no-native

Sep 9, 2023

-1

Commits on Sep 9, 2023

coq-neural-net-interp-computed can run without coq-native
JasonGross
committed