hello
 after one year break i am trying to make some theory ; (it is for
university course ; )
now reading proofpower_tutorial.pdf
one thing which i do not understand when opening example from
directory /opt/pp/doc/ from xpp how to lauch something to prove?!
when using pp -d demo i managed to enter some simple examples (Peanissimo)

Igorj

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to