3 ms·Homotopy type theory is of "significant interest" in US military applications [pdf]2 points by vector_spaces 8y ago