Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
|Comment:||Added reference to Gacek's PhD thesis in the section on induction. Added screenshot of a completed proof.|
|Downloads:||Tarball | ZIP archive | SQL archive|
|Timelines:||family | ancestors | descendants | both | bc-subst|
|Files:||files | file ages | folders|
|User & Date:||andy 2015-04-21 16:26:30|
|19:26||The new clausal-expansion system for goals is complete. Closed-Leaf check-in: d8a8e82a90 user: andy tags: bc-subst|
|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|
Changes to report/arend-report.bib.
Changes to report/arend-report.pdf.
Changes to report/arend-report.tex.