Package leibniz

We provide predicates for automatic differentiation:

Kommentare