A Coq Library for Mechanised First-Order Logic
The work
| 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 |
|---|---|
| Editors | |
| Type | misc |
| Year | 2022 |
| Citekey | kirst2022library |
Where it appeared
| Published in | The Coq Workshop 2022 |
|---|
Identifiers
| OpenAlex | W4292639357 |
|---|
Access
| Landing page | https://hal.science/hal-03756335 |
|---|
Settled
| Abstract | carried over from `abstract_absent` at the 1.0 migration |
|---|
A copy is held
pdf, 2.9 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-24 07:30 UTC |
Filed under
Cite it as
@misc{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},
journal = {The Coq Workshop 2022},
}
This record lives at https://refs.drheap.org/kirst2022library/ and will keep doing so.