コード例 #1
0
 def write(self):
     # writes to the modified set.mm file.
     write_proof.write(
         {global_context.label: self.generate_mm_format_proof()})
コード例 #2
0
ファイル: proof_search.py プロジェクト: dwhalen/holophrasm 
 def write(self):
     # writes to the modified set.mm file.
     write_proof.write({global_context.label:self.generate_mm_format_proof()})