Provable Ruby
ClaudePlugin
Prove Ruby business logic for every input with Lean 4: verifiable-Ruby style checks, a Ruby-to-Lean translator, proof recipes, and Ruby-vs-Lean conformance checks.
Best rank—Not in a ranked chart
Charts—
LaunchedOct 2
Prove Ruby business logic for every input with Lean 4: verifiable-Ruby style checks, a Ruby-to-Lean translator, proof recipes, and Ruby-vs-Lean conformance checks.