Login / Signup
An Implementation of Homotopy Type Theory in Isabelle/Pure.
Joshua Chen
Published in:
CoRR (2019)
Keyphrases
</>
efficient implementation
implementation details
implementation issues
theoretical basis
general theory
data mining
artificial intelligence
search engine
computer vision
hidden markov models
theorem prover