Literature/partial-derivatives-in-coq.pdf
changeset 344 27270b4bffba
parent 192 ce24ed955cca
equal deleted inserted replaced
343:1687f868dd5e 344:27270b4bffba