| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 24 | logplain |
| d--------- | js | 350 | logplain |
| -rw-r--r-- | logikorr.asd | 330 | logplain |
| -rw-r--r-- | logikorr.js | 4776 | logplain |
| -rw-r--r-- | logikorr.lisp | 10083 | logplain |
| -rwxr-xr-x | run.sh | 179 | logplain |
 |
index : mulk/logikorr | |
| Grading tool for a Mathematical Logic lecture held by Prof. Helmut Schwichtenberg. | Matthias Benkard |
| summaryrefslogtreecommitdiff |