3 ms·
For those who really want to blow their mind, I suggest learning Coq instead https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.e
by privethedge 6y ago
For those who really want to blow their mind, I suggest learning Coq instead https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/