Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Ideal MHD WavesCovers the concept of Ideal MHD waves and the behavior of plasma under different conditions.
Oxygen Evolution CatalystsExplores biological and molecular catalysts for oxygen evolution, focusing on photosystem II, O-O bond formation, and ruthenium complexes.