theorem-proving

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