Similar repositories to john-ml/sequent-calculus: