▲ 2 pointsVeriSoftBench: Repository-Scale Formal Verification Benchmarks for Leanutopia-group.github.ioby matt_d·5mo ago·0 comments·view on hn ↗