Work on expressing Alloy models in first-order predicate calculus. The Alloy modeling language (see http://alloytools.org/) and the Alloy Analyzer are extremely ...

Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski ...