Skip to content

Commit

Permalink
Hegel update
Browse files Browse the repository at this point in the history
  • Loading branch information
cunhapaulo committed Jun 21, 2023
1 parent 08a981f commit f1dfbe1
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions examples/example-hegel.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,23 +38,23 @@ theme : hegel
![bg left:33% hue-rotate:355deg](https://upload.wikimedia.org/wikipedia/commons/0/08/Hegel_portrait_by_Schlesinger_1831.jpg)


<div class="title">Graph Algebra and Formally Defined Programs in Z</div>
<div class="subtitle">Using Haskell to Reason and Verify Programs</div>
<div class="author">Leonard Kleinrock</div>
<div class="date">01.jan.2022</div>
<div class="organization">Formal Methods International Congress</div>
<div class="title">Phänomenologie des Geistes</div>
<div class="subtitle">Wissenschaft von der Erfahrung des Bewusstseins</div>
<div class="author">Georg Wilhelm Friedrich Hegel</div>
<div class="date">Bamberg und Würzburg, 1807</div>
<div class="organization">Akademie Verlag</div>



---

<!-- _class: titlepage -->

# Graph Algebra Representation of Formally Defined Programs in Z
## Using Haskell to Reason and Verify Programs
### Leonard Kleinrock
#### 01.jan.2022
##### Formal Methods International Congress
# Phänomenologie des Geistes
## Wissenschaft von der Erfahrung des Bewusstseins
### Georg Wilhelm Friedrich Hegel
#### Bamberg und Würzburg, 1807
##### Akademie Verlag

---

Expand Down
Binary file modified examples/example-hegel.pdf
Binary file not shown.
Binary file modified img/hegel.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

0 comments on commit f1dfbe1

Please sign in to comment.