poi 0.18.0

A pragmatic point-free theorem prover assistant
Documentation
1
2
3
4
5
6
7
8
9
10
11
=== Derivative ===

The derivative measures the sensitivity to change of a function
output value with respect to its argument input value.

For example:

  d(x, 2 * x)

The function here is `2 * x` and the argument input value
measuring the sensitivity for is `x`.