In: Dargaye, Z., Schneidewind, C

Brown, C · 2022 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · DOI 10.4230/oasics.fmbc.2022.4

1 Pith paper cite this work, alongside 4 external citations. Polarity classification is still indexing.

1 Pith paper citing it

4 external citations · OpenAlex

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2025-09-10 · accept · novelty 6.0

The authors present the first web explorer for the Proofgold formal-math blockchain, including case studies of category theory formalizations.

Showing 1 of 1 citing paper.

Exploring Formal Math on the Blockchain: An Explorer for Proofgold cs.LO · 2025-09-10 · accept · none · ref 8
The authors present the first web explorer for the Proofgold formal-math blockchain, including case studies of category theory formalizations.