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
Mode
Name
Size
-rw-r--r--
tests.clj
20
log
plain
