Candidates for tamarin-prover-theory

No candidates exist for tamarin-prover-theory. Upload one for this or another package?