3 ms·
Is there a public repository for "proven code" ? Like a github specialized in that field ?
by bsaul 13y ago
Is there a public repository for "proven code" ? Like a github specialized in that field ?
- qznc 13y agoIsabelle has the "Archive of Formal Proofs" http://afp.sourceforge.net/ http://afp.sourceforge.net/