This repository was archived by the owner on Apr 13, 2021. It is now read-only.

Linear-Temporal-Logic-Monitor (LTL Monitor)

A simple tool to test various temporal properties on page attributes. See Linear Temporal Logic on wikipedia for more details