#putnambench

Proof-Refactor: Refactorización modular de pruebas formales

Descubre Proof-Refactor, un marco agéntico que refactoriza pruebas formales generadas por LLMs para hacerlas más legibles y modulares, sin enfocarse solo en la longitud.