CoqPyt: Proof Navigation in Python in the Era of LLMs
收藏NIAID Data Ecosystem2026-05-02 收录
数据链接：
官方服务：
资源简介：
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
