leanprover/lean0.1 — pull request #5 by codyroux (2014-06-06 21:12:57+00:00)
Title: Swig python bindings

This includes a bug fix and a more realistic start to full python bindings for lean0.1. Feel free to squash commits.