2024-08-23 miniCodeProps: a Benchmark for Proving Code Properties