Literature/partial-derivatives-in-coq.pdf
2011-08-11 urbanc two interesting papers
less more (0) tip