Literature/partial-derivatives-in-coq.pdf
changeset 192 ce24ed955cca
equal deleted inserted replaced
191:f6a603be52d6 192:ce24ed955cca
       
     1 (binary file application/pdf, hash: 44e6c7f11b6b7715554ffc40e6db73bec99e4ffc)