diff --git a/include/lfbool.h b/include/lfbool.h
new file mode 100644
index 0000000..15a4ac6
--- /dev/null
+++ b/include/lfbool.h
@@ -0,0 +1,7 @@
+#ifndef LIBFLINT_BOOL_H
+#define LIBFLINT_BOOL_H
+
+#define LFTRUE 1
+#define LFFALSE 0
+
+#endif // LIBFLINT_BOOL_H