Homotopy Type Theory in Lean.

Floris van Doorn Jakob von Raumer Ulrik Buchholtz

Published in: ITP (2017)

Keyphrases

natural language
machine learning
formal theory
theoretical framework
theoretical basis
database
computer vision
computational model
data sets
image processing
trade off
computational models
information theory