Proquint
https://github.com/dsw/proquint
https://arxiv.org/html/0901.4016