Skip to content
Snippets Groups Projects
Commit 17b95873 authored by Uwe Jandt (DESY, HIFIS)'s avatar Uwe Jandt (DESY, HIFIS)
Browse files

Merge branch '191-spotlight-tamarin-prover' into 'master' 

Add Spotlight Tamarin Prover

Closes #191

See merge request !595
parents 562f2565 9741e9c4
No related branches found
No related tags found
1 merge request!595Add Spotlight Tamarin Prover
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog