Add Spotlight [Information] Tamarin Prover

Add the spotlight Tamarin Prover project

See: https://github.com/tamarin-prover/tamarin-prover

added Progress::3_Doing label

assigned to @tfoerst1

added Software Spotlight label

@tfoerst1 which HGF research field would this Spotlight belong to?

removed Progress::3_Doing label

created branch 191-spotlight-tamarin-prover to address this issue

changed title from Spotlight: Tamarin Prover to Add Spotlight [Information] Tamarin Prover

assigned to @marco.de.lucia and unassigned @tfoerst1

added Progress::3_Doing label

assigned to @demme and unassigned @marco.de.lucia

mentioned in merge request !595 (merged)

removed Progress::3_Doing label

added Progress::6_Can merge label

removed Progress::6_Can merge label

added Progress::5_Under review label

removed Progress::5_Under review label

added Progress::6_Can merge label

mentioned in commit 17b95873

closed with merge request !595 (merged)