GitHub repository: mzhang/Gentzen
Primary language: C#
Description: Automated proof checker for predicate logic