An observer-consistency framework for physics with 639 Lean-checked results (github.com) 1 points by berndtzl 1mo ago ↗ HN
1 comment
[ 2.7 ms ] story [ 12.5 ms ] thread