Uploading slides

dafny-lang · Dec 4, 2023 · dea10cb · dea10cb
1 parent 972a9b4
commit dea10cb
Show file tree

Hide file tree

Showing 11 changed files with 13,906 additions and 0 deletions.
diff --git a/Lectures/1-1-Programming-Functional.html b/Lectures/1-1-Programming-Functional.html
diff --git a/Lectures/1-2-Programming-Imperative.html b/Lectures/1-2-Programming-Imperative.html
diff --git a/Lectures/1-3-Programming-ObjectOriented.html b/Lectures/1-3-Programming-ObjectOriented.html
diff --git a/Lectures/2-1-Logic-Propositions.html b/Lectures/2-1-Logic-Propositions.html
diff --git a/Lectures/2-2-Logic-Definitions.html b/Lectures/2-2-Logic-Definitions.html
diff --git a/Lectures/2-3-Logic-ProvingByExplaining.html b/Lectures/2-3-Logic-ProvingByExplaining.html
diff --git a/Lectures/2-4-Logic-ProvingByConvincing.html b/Lectures/2-4-Logic-ProvingByConvincing.html
diff --git a/Lectures/3-1-Verification-Functional-Independent.html b/Lectures/3-1-Verification-Functional-Independent.html
diff --git a/Lectures/3-2-Verification-Functional-Dependent.html b/Lectures/3-2-Verification-Functional-Dependent.html
diff --git a/Lectures/3-3-Verification-Imperative.html b/Lectures/3-3-Verification-Imperative.html
diff --git a/Lectures/3-4-Verification-ObjectOriented.html b/Lectures/3-4-Verification-ObjectOriented.html