Artifact Description

会议论文
出版模式：

开放获取
发表日期：

2024年

查看全文

Théo Laurent,
Meven Lennon-Bertrand,
Kenji Maillard

摘要

This document describes the Coq formalisation accompanying the paper Definitional Functoriality for Dependent (Sub)Types, more specifically the content of section 4.