GitHub repository: AiashaSattar/Proof-Tool
Primary language: Python
Created: 2022-04-05T01:14:30Z
Description: A web application for verifying mathematical proofs