Teaching :: Pandora

Pandora: Proof Assistant for Natural Deduction.

  1. Running Pandora IV on *Linux* lab computers.

    If the students enter the following command on a lab computer, it will launch "Pandora IV":

    /vol/labsrc/pandora/version/current/newpandora/pandora.sh

    You only have to enter the command 'pandora' in a terminal.


  2. Running Pandora remotely (thanks to Hadeel for the instructions).

    ssh to shell machine https://www.imperial.ac.uk/computing/people/csg/guides/remote-access/ssh/

    ssh -Y @shell3.doc.ic.ac.uk (on windows you can use -X instead of -Y)

    shell is only a gateway machine, please ssh again to a lab machine using the following script, it identifies a
    free lab machine and connects you to it (using ssh with -Y option)

    /vol/linux/bin/sshtolab

    Once you're connected to your own lab machine, you can start pandora by running:

    /vol/labsrc/pandora/version/current/newpandora/pandora.sh <

    This should open up a pandora window on your machine, but it could be slow. So it's recommended to use
    pandora on a stand-alone machine if you can.


  3. Running Pandora IV on stand-alone computers.

    If academics, students or GTAs wish to run Pandora on a stand-alone computer, then they can download
    and run Pandora on their own computers.
    For this, they should do the following:

    # Pre-requistes: A Java Run-time Environment must be installed on
    # the computer in question. The 'wget'/'curl' command is written
    # from the perspective of a Linux or Macintosh computer; on a Windows
    # computer, download the JAR files some other way - for example, by
    # entering the URLs in a web-browser.

    # The next two commands will download the Pandora IV into the
    # current working directory:

    wget https://www.doc.ic.ac.uk/pandora/newpandora/pandora.jar
    wget https://www.doc.ic.ac.uk/pandora/newpandora/java-cup-11a.jar
    # OR if you do not have wget but do have curl:
    curl -O https://www.doc.ic.ac.uk/pandora/newpandora/pandora.jar
    curl -O https://www.doc.ic.ac.uk/pandora/newpandora/java-cup-11a.jar

    # Now invoke java to with the classpath set to reference the
    # downloaded JAR files.
    java -cp pandora.jar:java-cup-11a.jar Pandora.Pandora

    n.b.: It may require a little more elaboration on how to install Java but that can probably be addressed
    by adding a link like the following to the instructions:

    https://www.java.com/en/download/help/download_options.html


If you have any questions about this process, please to e-mail doc-help@imperial.ac.uk with the query, stating
the nature of the problem and the operating system that you are running on your external computer.

Nuri Cingillioglu has posted up a helpful guide that could be of use. Click here to access the guide.

Back to Logic page.