{"type": "article", "title": "Ruby-lean: A Ruby semantics with a type soundness proof", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/ruby-lean-a-ruby-semantics-with-a-type-soundness-proof", "original_source": "https://samx.io/blog/topics/devlog/2026-09-26-ruby-lean.html", "published": "2026-09-28T02:13:30+00:00", "accessed": "2026-09-28", "id": "ruby-lean-a-ruby-semantics-with-a-type-soundness-proof"}