Published May 3, 2024 | Version v3
Dataset Open

CoqPyt: Proof Navigation in Python in the Era of LLMs

Creators

  • 1. ROR icon Instituto Superior Técnico
  • 2. ROR icon Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
  • 3. ROR icon Imperial College London
  • 4. ROR icon University of California, San Diego

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