GitHub repository: massongit/proofdict
Description: Proofdict mono repository.