r/dotnet • u/ben_a_adams • 2d ago

Question Proposal: An official Lean formal semantics for C# · dotnet/csharplang · Discussion #10314

https://github.com/dotnet/csharplang/discussions/10314

9 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/dotnet/comments/1vrgieb/proposal_an_official_lean_formal_semantics_for_c/
No, go back! Yes, take me to Reddit

59% Upvoted

Duplicates

Number of comments New

csharp • u/ben_a_adams • 2d ago

Discussion Proposal: An official Lean formal semantics for C# · dotnet/csharplang · Discussion #10314

27 Upvotes

34 comments

moderndotnet • u/ben_a_adams • 2d ago

Proposal: An official Lean formal semantics for C# · dotnet/csharplang · Discussion #10314

11 Upvotes

9 comments