2 ms·VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean2 points by matt_d 8mo ago