Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
Parents and children of check-in [d8a8e82a90]
|21:35||Started work on better handling of forall/exists in the reasoning language. Leaf check-in: e8532f2591 user: andy tags: forall-exists|
|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|