Sostactic: Revolutionerar bevisföring av polynomiella olikheter i Lean

https://redaktionen.net/artikel/112