Well, considering that it's the official position of the U.S. Army Research Office Aberdeen Proving Ground that "Homotopy Type Theory and its applications are

Well, considering that it's the official position of the U.S. Army Research Office Aberdeen Proving Ground that "Homotopy Type Theory and its applications are such an area that is of significant interest in military applications", yes. https://www.arl.army.mil/www/pages/8/W911NF-17-S-0002%20ARO-Core-BAA-Amendment-03.PDF https://www.arl.army.mil/www/pages/8/W911NF-17-S-0002%20ARO-...