GitHub repository: nonilole/Conan
Primary language: Java
Description: A proof editor for first order logic