3 ms·
I also recommend the software foundations in coq https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/.
by caotic123 5y ago
I also recommend the software foundations in coq https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/.