Graded rings in Lean's dependent type theory

DOI10.1007/978-3-031-16681-5_8MaRDI QIDQ6159373

Jujian Zhang, Eric Wieser

Publication date: 2 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

graded ringsdependent typesformalizationmathlib

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Effective homology of bicomplexes, formalized in Coq
• Formalizing geometric algebra in Lean
• The Lean Theorem Prover (System Description)
• Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis

This page was built for publication: Graded rings in Lean's dependent type theory