Literature/partial-derivatives-in-coq.pdf
changeset 206 69c22ded2f49
parent 192 ce24ed955cca
equal deleted inserted replaced
205:cf0e1fc65876 206:69c22ded2f49