Literature/partial-derivatives-in-coq.pdf
changeset 243 86a4182c73e7
parent 192 ce24ed955cca
equal deleted inserted replaced
242:093e45c44d91 243:86a4182c73e7