GitHub repository: ISAAC-Developers/va-newtons-cradle
Primary language: Java
Description: Newton's Cradle (ChRonicled Assertion Database of Logical Expressions) Project