/linear-temporal-logic

sandbox for playing with linear temporal logic

Primary LanguageAgda

This repository is not active