4 ms·An observer-consistency framework for physics with 639 Lean-checked results1 points by berndtzl 3mo agoberndtzl 3mo ago[flagged]