[Agda] Alectryon - My first case of Coq envy

Carette, Jacques carette at mcmaster.ca
Thu Mar 25 17:28:13 CET 2021


https://plv.csail.mit.edu/blog/alectryon.html

It doesn't really get nice enough for envy until the uses of MathJAX for the Gauss lemma, and the graphics for Conway's game of life.

Jacques
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210325/b0a806e5/attachment.html>


More information about the Agda mailing list