/propositional_analysis

Application to facilitate the use of temporal logic in evaluating the output of a demon process

This repository is not active