Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
Parents and children of check-in [6feebbe110]
|16:26||Added reference to Gacek's PhD thesis in the section on induction. Added screenshot of a completed proof. check-in: ec0abfb8eb user: andy tags: bc-subst|
|16:25||Removed hover styles from premise/conclusion classes (this should be handled in JS, so that it can be disabled when the proof is complete). check-in: 6feebbe110 user: andy tags: bc-subst|
|16:25||Added proof demo example. check-in: 018383954d user: andy tags: bc-subst|