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