GitHub repository: CVC4/signatures
Primary language: Lean
Created: 2020-09-02T07:44:17Z
Description: Proof signatures for CVC4