References: - Coq: https://coq.inria.fr/ - Derivative: https://en.wikipedia.org/wiki/Derivative - Noq: https://github.com/tsoding/Noq