Skip to content

Enable compilation with rocq makefile #37

Enable compilation with rocq makefile

Enable compilation with rocq makefile #37

neural-net-coq-interp

succeeded Feb 12, 2025 in 2m 19s