Literature/partial-derivatives-in-coq.pdf
changeset 341 eb2fc3ac934d
parent 192 ce24ed955cca
equal deleted inserted replaced
340:0244e76df2ca 341:eb2fc3ac934d