FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: ACFIJLMNPQRSTUVW
A
automation
10 Years of Superlinear Slowness in Coq
C
Completeness
A Coq Library for Mechanised First-Order Logic
Coq
jsCoq: Literate Proof Documents Dressed for the Web
Discussion with Coq Core Development Team
Coq Community Survey 2022: Summary of Results
10 Years of Superlinear Slowness in Coq
Coq community
Coq Community Survey 2022: Summary of Results
Coq library
QuantumLib: A Library for Quantum Computing in Coq
coq plugin
Autogenerating Natural Language Proofs
Coq-Elpi
Trakt: a generic pre-processing tactic for theory-based proof automation
CS education
Autogenerating Natural Language Proofs
F
first-order logic
A Coq Library for Mechanised First-Order Logic
I
incompleteness
A Coq Library for Mechanised First-Order Logic
J
JavaScript
jsCoq: Literate Proof Documents Dressed for the Web
L
library design
A Coq Library for Mechanised First-Order Logic
Linear Algebra
QuantumLib: A Library for Quantum Computing in Coq
literate programming
jsCoq: Literate Proof Documents Dressed for the Web
M
meta-programming
Trakt: a generic pre-processing tactic for theory-based proof automation
N
natural language generation
Autogenerating Natural Language Proofs
P
performance
10 Years of Superlinear Slowness in Coq
plugin
Trakt: a generic pre-processing tactic for theory-based proof automation
pre-processing
Trakt: a generic pre-processing tactic for theory-based proof automation
Program Verification
HenBlocks: Structured Editing for Coq
proof assistant
HenBlocks: Structured Editing for Coq
Proof automation
Trakt: a generic pre-processing tactic for theory-based proof automation
proof engine
10 Years of Superlinear Slowness in Coq
Q
Quantum Computing
QuantumLib: A Library for Quantum Computing in Coq
R
release engineering
Discussion with Coq Core Development Team
S
software development
Discussion with Coq Core Development Team
Structured editor
HenBlocks: Structured Editing for Coq
survey
Coq Community Survey 2022: Summary of Results
T
tactic
Trakt: a generic pre-processing tactic for theory-based proof automation
Theorem prover
HenBlocks: Structured Editing for Coq
U
Undecidability
A Coq Library for Mechanised First-Order Logic
User interfaces
HenBlocks: Structured Editing for Coq
V
Verification
QuantumLib: A Library for Quantum Computing in Coq
Visual programming
HenBlocks: Structured Editing for Coq
W
web
jsCoq: Literate Proof Documents Dressed for the Web
WebAssembly
jsCoq: Literate Proof Documents Dressed for the Web