The Thiele Machine: A Formal Proof of a New Computational Modelgithub.com/sethirus2 pointsThieleMachine10 months ago