A modern proof language
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
