coq-tactician/coq-tactician: Tactician 1.0~beta2.1+8.16 for Coq 8.16 ...
Zenodo, 2023
academicJournal
Zugriff:
A Seamless, Interactive Tactic Learner and Prover for Coq ...
Titel: |
coq-tactician/coq-tactician: Tactician 1.0~beta2.1+8.16 for Coq 8.16 ...
|
---|---|
Autor/in / Beteiligte Person: | Blaauwbroek, Lasse ; Zhang-Liao ; Pestun, Vasily |
Link: | |
Veröffentlichung: | Zenodo, 2023 |
Medientyp: | academicJournal |
DOI: | 10.5281/zenodo.10028210 |
Sonstiges: |
|