-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathslides.pandoc
48 lines (38 loc) · 1.39 KB
/
slides.pandoc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
---
css: "./Frontend/Ghcjs/Implementations/Resources/Slides.css"
header-includes:
- <link rel="stylesheet" href="Frontend/Ghcjs/Implementations/Resources/jquery-linedtextarea.css" type="text/css" media="screen" title="no title" charset="utf-8">
- <script language="javascript" src="Frontend/Ghcjs/Implementations/Resources/jquery.min.js"></script>
- <script language="javascript" src="Frontend/Ghcjs/Implementations/Resources/jquery-linedtextarea.js"></script>
- <script language="javascript" src="Frontend/Ghcjs/Implementations/Resources/textarea-plus.user.js"></script>
- <script language="javascript" src="Frontend/Ghcjs/Implementations/FOLBox/dist/build/FOLBox/FOLBox.jsexe/all.min.js"></script>
viewDistance: 50
revealjs-url: Frontend/Ghcjs/Implementations/Resources/reveal.js
title: What I Did On My Summer Vacation
author: Graham Leach-Krouse
---
# Press `down`
## This is [Reveal.js](https://github.com/hakimel/reveal.js/)
- You can navigate with the arrow keys.
- Press `esc` for an overview of the slides.
- To find out more, take a look at [this](http://lab.hakim.se/reveal-js/#/)
# Some Theorems
## Non-Contradiction
Aristotle's Conjecture: proved!
```slproof
Show -(P/\-P)
P/\-P PR
P S 2
-P S 2
:ID 3,4
```
## Excluded-Middle
Still an open problem. Care to give it a shot?
```slproof
Show P\/-P
-(P\/-P) PR
Show -P
P PR
P\/-P ADD 4
:ID 5,2
```