CoqPhysicsExperiments A sandbox for me to derive high-level physical relationships from logical axioms. The acronym 'TA' found in documentation references Terence Tao's 'Analysis' text, usually in reference to axioms, lemmas, theorems, definitions, etc.