Method from_txt_file

problem.py:378–381

(cls, fname: str, to_dict: bool = False)

  @classmethod
  def from_txt_file(cls, fname: str, to_dict: bool = False) -> Theorem:
    with open(fname, 'r') as f:
      theorems = f.read()
    return cls.from_string(theorems, to_dict)

  @classmethod
  def from_string(cls, string: str, to_dict: bool = False) -> Theorem: