Homotopy Type Theory in Lean.

Ulrik Buchholtz Floris van Doorn Jakob von Raumer

Published in: CoRR (2017)

Keyphrases

theoretical framework
formal theory
neural network
image processing
trade off
fixed point
theoretical foundation
data sets
genetic algorithm
high level
image sequences
bayesian networks
expert systems
relational databases
artificial neural networks
information theory