Published January 3, 2025
| Version v1
Report
Open
Artifact for QED in Context: An Observation Study of Proof Assistant Users
Authors/Creators
-
1.
University of Pennsylvania
-
2.
University of Maryland
Description
Our artifact contains two text documents. Protocol.pdf is a detailed recounting of our study methodology. Codebook.pdf contains the codes we used in our thematic analysis of the study transcripts. There are no installation or execution steps, as this artifact contains no computer code.
Files
paper38.zip
Files
(186.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:9d4703dbf11ae7d564286564127ee10b
|
186.0 kB | Preview Download |