arosien/sequentish

You Didn't Know It, but You Really Want to Learn Sequent Calculus

语言：Scala · GitHub 星标：7 · Fork：0

在 GitHub 上查看原仓库