https://github.com/theoremprover-museum/InKa
History
Tip revision: 7fe5cb2b448d2f79e3532447579cf41bbb60cb7c authored by dhutter on 12 September 2016, 07:57:01 UTC
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

README.md

back to top