WIP another go at a syntactic proof tool - View it on GitHub