hurrynot·6 年前·議論I think the group writing the HoTT book (https://en.wikipedia.org/wiki/Homotopy_type_theory ) probably come close, though.
hurrynot·6 年前·議論The article says the TB experiment ran for four years. It isn't clear that you need four years to prove airborne transmission, but it is likely that you need a lot of time.