[[!redirects logic]] [[!redirects Logic in HoTT]] Here we collect articles about doing logic in HoTT. * [[limited principle of omniscience]] ## References * [[HoTT Book]] category: navigation