Similar repositories to proofdict/proof-dictionary: