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