该项目的目标是创建一个转换器,该转换器将包含树的Latex文件作为输入,并返回与Coq文件相同的树。为了简单起见,该程序的设计假设使用forest包给定乳胶树。
The goal of this project is to create a translator that takes as input a Latex file containing a tree and returns the same tree as a Coq file. For simplicity, the program was designed assuming that the Latex trees are given using the forest package. (2024-04-02, Python, 0KB, 下载0次)
Heisler Marcel从HdM GitLab的STT Coqui服务器分叉。
Forked from HdM GitLab s STT Coqui Server by Heisler Marcel. (2024-02-29, Python, 0KB, 下载0次)
基于ALL(*)算法的解析器,在Coq.中实现和验证。,
A parser based on the ALL(*) algorithm, implemented and verified in Coq., (2023-02-14, Python, 0KB, 下载0次)