3 ms·
Tutorial on CoQ, a proof assistant https://news.ycombinator.com/item?id=21185624 https://news.ycombinator.com/item?id=21185624
by sasaf5 7y ago
Tutorial on CoQ, a proof assistant
https://news.ycombinator.com/item?id=21185624 https://news.ycombinator.com/item?id=21185624