flie lets you infer fomulas in Linear Temporal Logic (LTL). Consult the examples below or the syntax guide for detailed information about flie's input language.
flie's web frontend is currently in beta test. Please report bugs and issues to flie's Github page.