# Welcome to HyLogic’s documentation!¶

HyLogic is a set of macros to test and automate logical expressions in Hy. Convenient propositional logic, predicate logic and first-order logic notation is supported.

Contents: