formalsystems (pypi): Play with formal systems from "Gödel Escher Bach", Douglas Hofstadter
Keywords: python