CoqPyt: Proof Navigation in Python in the Era of LLMs
收藏官方服务：
资源简介：
Replication package with code and CompCert dataset accompanying the paper "CoqPyt: Proof Navigation in Python in the Era of LLMs".The file provided here is a Docker image. To use it, follow the steps: 1. docker load < coqpyt.tar 2. docker run -it --name coqpyt -d coqpyt /bin/bash 3. docker attach coqpyt After these steps, see the README.
提供机构：
Zenodo创建时间：
2023-12-07
