Essa biblioteca é usada para ajudar a manipular os termos dentro do programa chamado tamarin prover. Ele é escrito em haskell e é muito útil para ajudar a provar coisas matematicamente corretas. 