Formalized Proofs in Physics

Exploring formal methods in physics.