SpanProofSpanProofToolsspanproof.grok.me · 4/10 SimpleMulti-span Euler-Bernoulli beam solver with AISC Table 3-23 verification.