Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean | Digital Library | PAMCET

Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean | Digital Library | PAMCET | PAMCET