Closed Halbaroth closed 2 months ago
Some primitives have been added in the latest version of zarith_stubs_js and we need them for the js version of Alt-Ergo.
zarith_stubs_js
Some primitives have been added in the latest version of
zarith_stubs_jsand we need them for the js version of Alt-Ergo.