Problem Generator 1
Standard Bank
← Proof Checker
Randomized Gen →
1. Select Allowed Rules
First 4 (MP, MT, HS, DS)
8 Implication Rules
All 18 Rules
18 Rules + CP / IP
2. Select Difficulty
Easy
Medium
Hard
Extreme
Generate Problem
Generated Problem
Solve in Checker →