Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D E F G H I K L M P R S W Z

A
Adams, Michael D.	HenBlocks: Structured Editing for Coq
B
Boey, Bernard	HenBlocks: Structured Editing for Coq
C
Cousineau, Denis	Trakt: a generic pre-processing tactic for theory-based proof automation
Crance, Enzo	Trakt: a generic pre-processing tactic for theory-based proof automation
D
de Almeida Borges, Ana	Coq Community Survey 2022: Summary of Results
Dudenhefner, Andrej	A Coq Library for Mechanised First-Order Logic
E
Erbsen, Andres	10 Years of Superlinear Slowness in Coq
F
Falleri, Jean-Rémy	Coq Community Survey 2022: Summary of Results
Fehrle, Jim	Coq Community Survey 2022: Summary of Results
Forster, Yannick	A Coq Library for Mechanised First-Order Logic
G
Gallego Arias, Emilio Jesús	jsCoq: Literate Proof Documents Dressed for the Web Coq Community Survey 2022: Summary of Results Discussion with Coq Core Development Team
Gross, Jason	10 Years of Superlinear Slowness in Coq Discussion with Coq Core Development Team
H
Hermes, Marc	A Coq Library for Mechanised First-Order Logic
Hietala, Kesha	QuantumLib: A Library for Quantum Computing in Coq
Hostert, Johannes	A Coq Library for Mechanised First-Order Logic
I
Itzhaky, Shachar	jsCoq: Literate Proof Documents Dressed for the Web
K
Kirst, Dominik	A Coq Library for Mechanised First-Order Logic
Koch, Mark	A Coq Library for Mechanised First-Order Logic
L
Larchey-Wendling, Dominique	A Coq Library for Mechanised First-Order Logic
M
Mahboubi, Assia	Trakt: a generic pre-processing tactic for theory-based proof automation
Martin-Dorel, Erik	Coq Community Survey 2022: Summary of Results
Mück, Niklas	A Coq Library for Mechanised First-Order Logic
P
Palmskog, Karl	Coq Community Survey 2022: Summary of Results
Peters, Benjamin	A Coq Library for Mechanised First-Order Logic
Poulsen, Seth	Autogenerating Natural Language Proofs
R
Rand, Robert	QuantumLib: A Library for Quantum Computing in Coq
Ringer, Talia	Autogenerating Natural Language Proofs
S
Serebrenik, Alexander	Coq Community Survey 2022: Summary of Results
Smolka, Gert	A Coq Library for Mechanised First-Order Logic
W
Wehr, Dominik	A Coq Library for Mechanised First-Order Logic
West, Matthew	Autogenerating Natural Language Proofs
Z
Zimmermann, Théo	Coq Community Survey 2022: Summary of Results
Zweifler, Jacob	QuantumLib: A Library for Quantum Computing in Coq