GitHub repository: JUrban/ATP_Proofs
Created: 2020-04-28T16:18:10Z
Description: Interesting ATP Proofs