GitHub repository: DomenicoValarioti/MyProofProject
Primary language: Java
Description: List of Proof