Literature/partial-derivatives-in-coq.pdf
author urbanc
Thu, 09 Feb 2012 13:05:51 +0000
changeset 287 440382eb6427
parent 192 ce24ed955cca
permissions -rw-r--r--
more on the specification section

(binary:application/pdf)