Check-in [a24ff57f47]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Presentation work. Added PDF of presentation.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:a24ff57f473fea7c6319fce2d16f15b424a0bf4c
User & Date: andy 2015-04-22 10:29:38
Context
2015-04-22
10:30
Added material to the report on the handling of explicit quantifiers. Leaf check-in: 8a438a8abd user: andy tags: forall-exists
10:29
Presentation work. Added PDF of presentation. Leaf check-in: a24ff57f47 user: andy tags: trunk
2015-04-21
21:35
Started work on better handling of forall/exists in the reasoning language. Leaf check-in: e8532f2591 user: andy tags: forall-exists
Changes
Unified Diffs Side-by-Side Diffs Patch

Added presentation/arend-presentation.pdf.

Changes to presentation/arend-presentation.tex.