This repository acts as the Github Pages website for the Tamarin prover, and is served up at tamarin-prover.github.io. It contains a static homepage with links to various resources for further reading.
It does not contain the manual, which is hosted separately in the tamarin-prover/manual repository. Github Pages knows to route tamarin-prover.github.io/manual to the gh-pages branch of that repository.