4 ms·
I would love to know how that Coq stuff works, but I guess it’s way over my intellect.
by shp0ngle 4y ago
I would love to know how that Coq stuff works, but I guess it’s way over my intellect.
- njs12345 4y agoA good place to start with Coq is Software Foundations: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/