GitHub - leviroth/deductive_logic: Logic homework toolkit based on a book by Warren Goldfarb and a course by Ned Hall · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
cli		cli
lib		lib
server		server
test		test
.gitignore		.gitignore

About

Logic homework toolkit based on a book by Warren Goldfarb and a course by Ned Hall

Report repository

Releases

No releases published

Packages

Contributors

Languages

OCaml 100.0%