A Proof-oriented Programming Language - View it on GitHub