Searched refs:parse_mizar (Results 1 – 2 of 2) sorted by relevance
7 from miz_parser import parse_mizar # 解析だけ借用13 G = parse_mizar(miz)
62 def parse_mizar(path: Path) -> nx.DiGraph: function211 graph = parse_mizar(p)