Literature/partial-derivatives-in-coq.pdf
changeset 369 cbb4ac6c8081
parent 192 ce24ed955cca
equal deleted inserted replaced
368:2d6beddb6fa6 369:cbb4ac6c8081