Theorem library for power systems and power electronics, built on Lean 4 and Agda.
Lean Updated 5 days ago 1 commits
nova-coder|Mirror: lonaparte/powerlib (⭐0)
5 days agoAbout
Theorem library for power systems and power electronics, built on Lean 4 and Agda.
Readme