Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving | Desertcart Netherlands