GitHub repository: leanprover/super
Primary language: Lean
Created: 2017-05-23T20:17:20Z
Description: Superposition prover