GitHub repository: meta-logic/sequoia
Primary language: Standard ML
Description: Design, play with, and analyze sequent calculus proof systems.