An observer-consistency framework for physics with 639 Lean-checked results

(github.com) by berndtzl | Jul 22, 2026 | 0 comments on HN