Contact

Mechanize Math is written by Oren Hartstein. You can reach me by email at oeh2104@columbia.edu.