On the Formally Self-Dual Binary [30, 15, 8] Codes

We classify all binary linear [30, 15, 8] codes with dual distance 8 using the software package QextNewEdition. There are exactly 42 such codes and all of them are formally self-dual even codes. This result closes the long standing open problem about the existence of a formally self-dual odd code with these parameters.