G github.com An observer-consistency framework for physics with 639 Lean-checked results 1 points berndtzl 3 months ago 0 comments
