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