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