ruby-lean: A Ruby semantics with a type soundness proof September 26, 2026blogDevLog A significant leap forward in AI-accelerated formal verification
ruby-lean Technical Appendix September 26, 2026blogDevLog Appendix of technical notes from the ruby-lean project