Monadic predicate logic theoremhood checker

Monadic predicate logic (with identity) is decidable (Löwenheim-Skolem 1915, or more conveniently Boolos, Burgess, and Jeffrey 2007, Ch. 21). This tool lets you can check whether a formula is a theorem. If it's not a theorem, you will be shown a counter-example.
You can run it in your browser.
Blog post discussing how to efficiently check validity.

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
templates		templates
Procfile		Procfile
Procfile.windows		Procfile.windows
backend.py		backend.py
backend_test.py		backend_test.py
frontend.py		frontend.py
readme.md		readme.md
requirements.txt		requirements.txt
runtime.txt		runtime.txt
todo.txt		todo.txt

Provide feedback