GitHub repository: laitep/ladr
Primary language: C
Created: 2023-10-31T17:06:59Z
Description: William McCune's Library for Automated Deduction Research (LADR)