-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
144 lines (123 loc) · 5.62 KB
/
index.html
File metadata and controls
144 lines (123 loc) · 5.62 KB
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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="description" content="Waterproof">
<meta name="author" content="Jim Portegies, Sean McCarren">
<title>Waterproof</title>
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-1BmE4kWBq78iYhFldvKuhfTAU6auU8tT94WrHftjDbrCEXSU1oBoqyl2QvZ6jIW3" crossorigin="anonymous">
<script type="module" src="https://cdn.jsdelivr.net/gh/zerodevx/zero-md@2/dist/zero-md.min.js"></script>
<link rel="icon" type="image/png" href="assets/druppel.png"/>
<!-- Bootstrap core CSS -->
<link href="../assets/dist/css/bootstrap.min.css" rel="stylesheet">
<style>
.bd-placeholder-img {
font-size: 1.125rem;
text-anchor: middle;
-webkit-user-select: none;
-moz-user-select: none;
user-select: none;
}
@media (min-width: 768px) {
.bd-placeholder-img-lg {
font-size: 3.5rem;
}
}
</style>
<!-- Custom styles for this template -->
<link href="assets/style.css" rel="stylesheet">
</head>
<body>
<!-- <header class="site-header sticky-top py-1">
<nav class="container d-flex flex-column flex-md-row justify-content-between">
<a class="py-2" href="index.html" aria-label="Product">
<img src="assets/druppel.png" width="24" height="24"/>Waterproof
</a>
<a class="py-2 d-none d-md-inline-block" href="src/guide.html">User guide</a>
<a class="py-2 d-none d-md-inline-block" href="src/notebooks.html">Notebooks</a>
<a class="py-2 d-none d-md-inline-block" href="src/install.html">Installation guide</a>
<a class="py-2 d-none d-md-inline-block" href="https://github.com/impermeable">Github</a>
</nav>
</header>
-->
<main>
<div class="position-relative overflow-hidden p-3 p-md-5 m-md-3 text-center bg-light">
<div class="col-md-5 p-lg-5 mx-auto my-5">
<h1 class="display-4 fw-normal">Waterproof</h1>
<p class="lead fw-normal">An educational tool for proving mathematical statements!</p>
</div>
</div>
<div class="container marketing">
<!-- Three columns of text below the carousel -->
<!--
<div class="row">
<div class="col-lg-4">
<h2>User guide</h2>
<p>Learn in-depth about Waterproof and how to start writing proofs.</p>
<p><a class="btn" href="src/guide.html">View details »</a></p>
</div><!- - /.col-lg-4 - ->
<div class="col-lg-4">
<h2>Notebooks</h2>
<p>Download Waterproof notebooks in subjects such as...</p>
<p><a class="btn" href="src/notebooks.html">View details »</a></p>
</div><!- - /.col-lg-4 - ->
<div class="col-lg-4">
<h2>Installation guide</h2>
<p>A full installation guide. Waterproof requires carefully installed dependencies.</p>
<p><a class="btn" href="src/install.html">Get started »</a></p>
</div><!- - /.col-lg-4 - ->
</div><!- - /.row - ->
-->
<!-- START THE FEATURETTES -->
<!-- NOTE: md 6 should be 456 wide (or 450 with border)-->
<!-- NOTE: md 7 should be 536 -->
<hr class="featurette-divider">
<div class="row featurette">
<h2 class="featurette-heading">Learn to prove mathematical statements. <span class="text-muted">Immediate feedback.</span></h2>
<p class="lead">Waterproof is educational software designed to help students with learning the skill of proving mathematical statements.</p>
</div>
<hr class="featurette-divider">
<div class="row featurette">
<div class="col-md-5 order-md-2">
<h2 class="featurette-heading">Try it out!</h2>
<p class="lead">Complete some exercises online:</p>
<p class="lead">
<a href="https://codespaces.new/impermeable/waterproof-exercise-sheets?quickstart=1">
<img src="https://github.com/codespaces/badge.svg" alt="Open in GitHub Codespaces">
</a>
</p>
<h2 class="featurette-heading">VSCode extension</h2>
<p class="lead">Waterproof can be used in VSCode.
</p>
<h2 class="featurette-heading">Installation</h2>
<p class="lead">
Install the waterproof extension from the <a class="link-primary" href="https://marketplace.visualstudio.com/items?itemName=waterproof-tue.waterproof">VSCode marketplace</a> or from within VSCode.
</p>
</div>
<div class="col-md-7 order-md-1">
<img class="wp-image-border" src="assets/Waterproof-vscode-screenshot.png" alt="Example screenshot of notebook" width=530>
</div>
</div>
<hr class="featurette-divider">
<!-- /END THE FEATURETTES -->
</div><!-- /.container -->
<footer class="container py-5">
<div class="row">
<div class="col-12 col-md">
<img src="assets/druppel.png" width=100 height=100/>
</div>
<div class="col-6 col-lg">
<h5>Github source</h5>
<ul class="list-unstyled text-small">
<li><a class="link-secondary" href="https://github.com/impermeable/waterproof-vscode">Waterproof (VSCode extension)</a></li>
<li><a class="link-secondary" href="https://github.com/impermeable/coq-waterproof">Coq-waterproof (Custom proof language)</a></li>
<li><a class="link-secondary" href="https://github.com/impermeable/waterproof-exercise-sheets">Waterproof exercise sheets</a></li>
<li><a class="link-secondary" href="https://github.com/impermeable">Impermeable</a></li>
<li><a class="link-secondary" href="https://github.com/impermeable/impermeable.github.io">This site</a></li>
</ul>
</div>
</div>
</footer>
</body>
</html>