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

1 pointsposted 5 hours ago
by berndtzl
(github.com)

1 Comments