GitHub repository: kazgoto/proof-dictionary
Description: My dictionary for proofdict