GitHub repository: Bram-Hub/Aris
Primary language: Java
Created: 2020-03-05T07:29:15Z
Description: An improvement on the ARIS logical proof program