标签:coq

  • 使用Python将AST形式的Coq术语转换为波兰语表示法 - python

    时间:2020-7-29

    假设我有一个任意的Coq术语(使用s-expressions / sexp的AST格式),例如: n = n + n 我想自动将其转换为: = n + n n 通过遍历AST树(由于sexp,它是列表的嵌套列表)。 Python中是否有可以执行此操作的标准库? 现在,如果我要写下要执行的算法/伪代码(假设我可以将sexp转换为某些实际的树对象): def T […]