Why Buran Had Four Computers, Not Three — and What a Lean Proof Adds
AI agents & assistants — machine-readable index at /llms.txt
---
Why Buran Had Four Computers, Not Three — and What a Lean Proof Adds
Buran's redundant flight computer ran four identical channels, rated for two failures. A Rust model of its voter, proved in Lean, and what that misses.
Comments (0)
No comments yet