https://github.com/theoremprover-museum/InKa
Tip revision: 7fe5cb2b448d2f79e3532447579cf41bbb60cb7c authored by dhutter on 12 September 2016, 07:57:01 UTC
Update README.md
Update README.md
Tip revision: 7fe5cb2
File | Mode | Size |
---|---|---|
examples | ||
source | ||
system-4-1 | ||
tcl | ||
trailer | ||
README.md | -rw-r--r-- | 321 bytes |
boot.lisp | -rw-r--r-- | 8.1 KB |
inkastart.lisp | -rw-r--r-- | 7.9 KB |