Tell us why you think the rating for “haskell-tamarin-prover-theory” should be different. Sources help.