Minimal, efficient proof language - View it on GitHub