Theoretical Electricity

Formal foundations for power systems and power electronics.

Theoretical Electricity logo

theorelec / powerlib

Theorem library for power systems and power electronics, built on Lean 4 and Agda.

Lean main Lean 4 Agda