VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean

(utopia-group.github.io)

2 points | by matt_d 10 hours ago ago