Add a LTL formula checking service

Damien Motard: add this service to try it out.