Login / Signup
Tanguy Massacrier
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Hierarchical Structure
Input Data
Theorem Proving
Top Venues
CoRR
</>
Publications
</>
Philippe Malbos
,
Tanguy Massacrier
,
Georg Struth
Single-set cubical categories and their formalisation with a proof assistant.
CoRR
(2024)