10 lines
273 B
YAML
10 lines
273 B
YAML
- key: Schurr2021
|
|
title: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant
|
|
author:
|
|
- Schurr, Hans-Jörg
|
|
- Fleury, Mathias
|
|
- Desharnais, Martin
|
|
year: 2021
|
|
booktitle: CADE 2021
|
|
doi: 10.1007/978-3-030-79876-5_26
|
|
publisher: Springer |