Login / Signup
The HoTT Library: A formalization of homotopy type theory in Coq.
Andrej Bauer
Jason Gross
Peter LeFanu Lumsdaine
Michael Shulman
Matthieu Sozeau
Bas Spitters
Published in:
CoRR (2016)
Keyphrases
</>
formal model
theoretical framework
formal methods
real time
image processing
computational model
theorem prover
general theory
databases
multimedia
case study
high level
multi agent
relational databases
knowledge representation
formal logic