Proofdict
Usage
GItHub