Benchmark suite for helping evaluate how AIs perform on formal verification related tasks - View it on GitHub