A Coq Library for Mechanised First-Order Logic
The work
| Title | A Coq Library for Mechanised First-Order Logic |
|---|---|
| Authors | Dominik Kirst; Johannes Hostert; Andrej Dudenhefner; Yannick Forster; Marc Hermes; Mark Koch; Dominique Larchey-Wendling; Niklas Mück; Benjamin Peters; Gert Smolka; Dominik Wehr |
| Type | conference paper |
| Year | 2022 |
| Citekey | kirst2022library |
Where it appeared
| Published in | HAL (Le Centre pour la Communication Scientifique Directe) |
|---|---|
| Publisher | Centre National de la Recherche Scientifique |
Identifiers
| OpenAlex | W4292639357 |
|---|
Access
| Landing page | https://hal.science/hal-03756335 |
|---|---|
| Free full text | https://hal.science/hal-03756335 |
Copy held
| Kind | PDF, 3.0 MB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
| Where it came from | https://hal.science/hal-03756335 |
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@inproceedings{kirst2022library,
title = {A Coq Library for Mechanised First-Order Logic},
author = {Dominik Kirst and Johannes Hostert and Andrej Dudenhefner and Yannick Forster and Marc Hermes and Mark Koch and Dominique Larchey-Wendling and Niklas Mück and Benjamin Peters and Gert Smolka and Dominik Wehr},
year = {2022},
booktitle = {HAL (Le Centre pour la Communication Scientifique Directe)},
publisher = {Centre National de la Recherche Scientifique},
url = {https://hal.science/hal-03756335},
}
This record lives at https://refs.drheap.org/kirst2022library/ and will keep doing so.