Similar repositories to StanPlatinum/proofGen: