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