An observer-consistency framework for physics with 639 Lean-checked results(github.com)
1 pointby berndtzl2 hours ago1 comment