HAL (France)open access
Witt K-theory of Fields of Characteristic 2 and Construction of Unbiased Symmetric Monoidal Categories in a Proof Assistant
Théorie des Catégories, Assistant de preuve, Formalization, Proof assistants, Category theory, 0, Formalisation, 1
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 464273
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.