Login / Signup

The HoTT library: a formalization of homotopy type theory in Coq.

Andrej BauerJason GrossPeter LeFanu LumsdaineMichael ShulmanMatthieu SozeauBas Spitters
Published in: CPP (2017)
Keyphrases
  • formal methods
  • theoretical basis
  • general theory
  • formal model
  • formal theory
  • databases
  • computer vision
  • logic programs
  • fixed point
  • theoretical foundation
  • conceptual framework