http://www.react.uni-saarland.de/people/rabe.html
This is an unofficial reimagining of the Archive of Formal Proofs
A shallow embedding of HyperCTL*by Markus N. Rabe, Peter Lammich and Andrei Popescu