This repository has been archived by the owner on Oct 21, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 46
/
index.html
81 lines (81 loc) · 4.79 KB
/
index.html
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="description" content="Tutorial: Theorem Proving in Lean">
<meta name="author" content="Jeremy Avigad, Leonardo de Moura, and Soonho Kong">
<title>Tutorial: Theorem Proving in Lean</title>
<link rel="stylesheet" href="css/main_live.css"/>
<link rel="stylesheet" href="css/code.css"/>
<link rel="apple-touch-icon" sizes="57x57" href="./images/apple-touch-icon-57x57.png">
<link rel="apple-touch-icon" sizes="60x60" href="./images/apple-touch-icon-60x60.png">
<link rel="apple-touch-icon" sizes="72x72" href="./images/apple-touch-icon-72x72.png">
<link rel="apple-touch-icon" sizes="76x76" href="./images/apple-touch-icon-76x76.png">
<link rel="apple-touch-icon" sizes="114x114" href="./images/apple-touch-icon-114x114.png">
<link rel="apple-touch-icon" sizes="120x120" href="./images/apple-touch-icon-120x120.png">
<link rel="apple-touch-icon" sizes="144x144" href="./images/apple-touch-icon-144x144.png">
<link rel="apple-touch-icon" sizes="152x152" href="./images/apple-touch-icon-152x152.png">
<link rel="apple-touch-icon" sizes="180x180" href="./images/apple-touch-icon-180x180.png">
<link rel="icon" type="image/png" href="./images/favicon-32x32.png" sizes="32x32">
<link rel="icon" type="image/png" href="./images/android-chrome-192x192.png" sizes="192x192">
<link rel="icon" type="image/png" href="./images/favicon-96x96.png" sizes="96x96">
<link rel="icon" type="image/png" href="./images/favicon-16x16.png" sizes="16x16">
<link rel="manifest" href="./images/manifest.json">
<meta name="msapplication-TileColor" content="#da532c">
<meta name="msapplication-TileImage" content="./images/mstile-144x144.png">
<meta name="theme-color" content="#ffffff">
</head>
<body>
<div id="menu_bar">
<div id="button_container">
<a href="//leanprover.github.io"><img id="lean_logo" src="./images/lean_logo_small.svg"/></a>
<div id="new-button" class="button"><img class="menu_icon" src="./images/new.svg" title="new"/></div>
<div id="run-button" class="button"><img class="menu_icon" src="./images/run.svg" title="run (shift + enter)"/></div>
<div id="layout-button" class="button"><img class="menu_icon" src="./images/square.svg" title="rotate layout"/></div>
<div id="book-button" class="button"><a href="tutorial.pdf"><img class="menu_icon" src="./images/book.svg" title="Download tutorial.pdf"/></a></div>
<div id="setting-button" class="button"><img class="menu_icon" src="./images/gear.svg" title="setting"/></div>
<select id='tutorialNav' style="display:none"></select>
</div>
</div>
<div id="main_window">
<div id="tutorial_contents"></div>
<div id="resizable_handle_main" class="resizable_handle"></div>
<div id="main_and_console">
<div id="editor_main"></div>
<div id="resizable_handle_sub" class="resizable_handle"></div>
<div id="editor_console"></div>
</div>
</div>
<div id="setting_window" style="display:none; z-index:9999;">
<div id="setting_contents">
<h1>Settings</h1>
<fieldset>
<label for="print_output_to_console">Print output to the console</label>
<select name="print_output_to_console" id="print_output_to_console">
<option selected="selected">true</option>
<option>false</option>
</select>
</fieldset>
<button id="close_setting_window">Close</button>
</div>
</div>
<script src="//cdn.jsdelivr.net/jquery/2.1.4/jquery.min.js"></script>
<script src="//cdn.jsdelivr.net/jquery.cookie/1.4.1/jquery.cookie.min.js"></script>
<script src="//cdn.jsdelivr.net/webcomponentsjs/0.7.23/webcomponents.min.js"></script>
<script src="//leanprover.github.io/ace/ace/ace.js" type="text/javascript" charset="utf-8"></script>
<script src="//leanprover.github.io/ace/ace/ext-language_tools.js" type="text/javascript" charset="utf-8"></script>
<script src="js/input-method.js" type="text/javascript" charset="utf-8"></script>
<script src="js/completion.js" type="text/javascript" charset="utf-8"></script>
<script src="js/main_live.js" type="text/javascript" charset="utf-8"></script>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-59814431-1', 'auto');
ga('send', 'pageview');
</script>
</body>
</html>