Proof class written, try compile
Proof class compiles
Proof may be working, create file reader next
v1.0
Now works in Cygwin, reader can deal with DOS input files