hurrynot·6년 전·discussI think the group writing the HoTT book (https://en.wikipedia.org/wiki/Homotopy_type_theory ) probably come close, though.
hurrynot·6년 전·discussThe 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.