Skip to content

tamarin-prover/tamarin-prover.github.io

Repository files navigation

tamarin-prover.github.io

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.

About

Source repository for the tamarin-prover.github.io github pages.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published