Introducing PeaCoq - COQ EN STOCK
goto.ucsd.edu/~vrobert/coq-en-stock/blog/2015/06/03/introducing-peacoq
Introducing PeaCoq Jun 3rd, 2015 What is PeaCoq? Over the past year, I have developed a Coq frontend called PeaCoq (not to be mistaken with Yves …
Comments (0)
Sign in to post comments.