DafnyBench: A Benchmark for Formal Software Verification - View it on GitHub