Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis

von Affeldt, Reynald
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)