Package leibniz

We provide predicates for automatic differentiation:

Comments