Automated Reasoning

If you are interested in discussing
automated reasoning,
please contact me at

paul@peoppenheimer.org.