proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
Primary LanguageRustGNU General Public License v3.0GPL-3.0