4 ms·* SpaceX's starship will reach orbit. * The theorem prover Lean 4 will be released.by Gehinnn 6y ago* SpaceX's starship will reach orbit. * The theorem prover Lean 4 will be released.