UMM-CSci/edsger

A simple proof checker for use in introductory logic courses.

语言：Clojure · GitHub 星标：6 · Fork：1

在 GitHub 上查看原仓库