GitHub repository: proofdict/proof-dictionary
Primary language: HTML
Description: My dictionary for proofdict