GitHub repository: Girjoaba/Eunomia
Primary language: Java
Description: An educational tool for analyzing the correctness of Fitch Proofs.