Similar repositories to princeton-nlp/NLProofS: