This is
SWI-Tinker
:
SWI-Prolog
running inside your browser
Please consult our
Wiki for help
Last update: January 14, 2026
Star
🗑
+
Create
(Re)consult
📤
📥
Upload your TPTP file (to prove FOF conjectures only):
📥
Prove
Theme:
Leuven for Emacs
by Fabrice Niessen