Github Language Proof And Logic