Select Code to Download

Title
G: #givens
...
Pr: #start of proof
statement 1 => reason 1
etc.

#!/usr/bin/perl -w
use strict;
...
    $r[$i] =~ s/#-(\d+?)/($i+1)-$1/ge; #replace #-? with the line # yo
+u are on minus ?
    print $i+1 . "." . " " x ($pad - length($i+1)+1) . $s[$i] . " " x 
+($len - length($s[$i])) . "  |  " . $r[$i] . "\n"; #print the stateme
+nts and resons
}