0.0.1 • Published 5 years ago
ltljs v0.0.1
LTL.js
Linear temporal logic for javascript. For now, it only implements always and eventually temporal operators.
Acknowledgement
Thanks Christian Fritz for introducing me to linear temporal logic.
Linear temporal logic for javascript. For now, it only implements always and eventually temporal operators.
Thanks Christian Fritz for introducing me to linear temporal logic.