index
:
mulk/logikorr
master
Grading tool for a Mathematical Logic lecture held by Prof. Helmut Schwichtenberg.
Matthias Benkard
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
logikorr
/
tests.clj
blob: cda81b2e14a4428915739371cf04c03a93e8cba8 (
plain
)
1
(ns logikorr.tests)