Next: Interacting witn NDL
Up: Natural Deduction Language
Previous: What is NDL?
  Contents
Create a directory called ndl on your hard drive,
download the appropriate distribution, unpack it inside
the ndl directory, and then type ndl at your
system's prompt (or ./ndl if you're on a Unix system).
Review the file README for a
summary of how to install and run NDL. If there are
any problems or to report any bugs,
email me at konstantine@alum.mit.edu.
2004-08-06