Proofs Calculator

Uses AI to solve Math Proofs.