lean

2026-01-09 Verified CNF Encodings
2024-08-23 miniCodeProps: a Benchmark for Proving Code Properties