Refactor package, file context and ProofFile execution - Githubissues

sr-lab / coqpyt

Python client for coq-lsp

MIT License

25 stars 3 forks source link

Refactor package, file context and ProofFile execution #23

Closed pcarrott closed 11 months ago

pcarrott commented 11 months ago

Reorganize directory structure to have a main coqpyt folder
Automate changes to README with workflow
Extract context management from CoqFile to FileContext
Implement exec in ProofFile for interactive access on proofs
Add optional program attribute in ProofTerm for obligation proofs