▲ 40 r/moderndotnet+2 crosspostsProposal: An official Lean formal semantics for C# · dotnet/csharplang · Discussion #10314github.com u/ben_a_adams — 2 days ago
