GitHub repository: ForeverHaibara/Prover
Primary language: Python
Created: 2023-01-27T15:58:26Z
Description: Auto math prover.