Files

README
about.rb
datatypes.rb
die.rb
proof.rb
proofreader.rb
proofsheet.rb
prooftool.rb