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:
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: