mpp easy writing & verification of mathematical proofs using C++ build g++ -o mpp -I. mpp.cpp --std=c++17