GitHub repository: lambduli/detour
Primary language: Haskell
Description: A toy proof-checker for first-order logic natural deduction with Fitch-style notation.