Josef Urban

Latest

• Formalizing physics: automation, presentation and foundation issues