Why Buran Had Four Computers, Not Three(zatona.dev)
9 points by dzatona | 0 comments
Engineering blog post explaining why the Soviet Buran shuttle used four redundant flight computers rather than three, and what a Lean formal proof adds to the reasoning.