CoqPyt: Proof Navigation in Python in the Era of LLMs
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/10292580
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2024-05-03
