GitHub repository: maurobringolf/FOL-proof-checker
Primary language: Haskell
Description: A proof checker for a proof calculus of first order logic