proof.hpp 96 B

123456789
  1. #ifndef __PROOF_HPP
  2. #define __PROOF_HPP
  3. #include <string>
  4. typedef std::string Proof;
  5. #endif