HoTT.thy « hott - Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

about summary refs log tree commit diff

path: root/hott/HoTT.thy

blob: 0b3040c83152a56d0811aab0822154c41bbfeca3 (plain)

theory HoTT
imports
  Identity
  Equivalence
  More_Types
  Nat

begin

end