skolem (pypi): A framework for mathematical logic.
Keywords: logic|mathematics|proof