3 ms·
CoqASM looks interesting! Is it publicly available anywhere?
by dman 10y ago
CoqASM looks interesting! Is it publicly available anywhere?
- nickpsecurity 10y agoNot that Im aware of. They might privately license it if asked. I mainly bring it up as something worth cloning by FOSS team given there's plenty details in paper. Meanwhile, look up Magnus Myreen's publications and software as they're on a row with verified everything.