4 ms·
https://github.com/CertiCoq/certicoq https://github.com/CertiCoq/certicoq can prove (most of) itself.
by burnt-resistor 1y ago
https://github.com/CertiCoq/certicoq https://github.com/CertiCoq/certicoq can prove (most of) itself.
loading thread…