interval-kinds

There are 0 repository under interval-kinds topic.

• sstucki / f-omega-int-agda

  F-omega with interval kinds mechanized in Agda

  semanticsagda-mechanizationagdainterval-kindssubtypesproofs
  Language:Agda 13