2 ms·
An "ancient" conversation demonstrating this issue with early Coq: http://grouper.ieee.org/groups/754/email/msg00574.html http://grouper.ieee.org/groups/754/em
by bitL 9y ago
An "ancient" conversation demonstrating this issue with early Coq:
http://grouper.ieee.org/groups/754/email/msg00574.html http://grouper.ieee.org/groups/754/email/msg00574.html