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