Towards Constructive Homological Algebra in Type Theory
Abstract
This paper reports on ongoing work on the project of representing the Kenzo system in type theory.
Origin : Files produced by the author(s)
Loading...