Published May 3, 2024
| Version v3
Dataset
Open
CoqPyt: Proof Navigation in Python in the Era of LLMs
Creators
Description
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.
Files
Files
(3.5 GB)
Name | Size | Download all |
---|---|---|
md5:370ba807a3ed39b75d81e9bcb67e93fb
|
3.5 GB | Download |