-
Notifications
You must be signed in to change notification settings - Fork 0
prove-everywhere/html
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
<html>
<head>
<title>ProveEverywhere</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link href="//maxcdn.bootstrapcdn.com/bootstrap/3.2.0/css/bootstrap.min.css" rel="stylesheet">
<link rel="stylesheet" href="main.css" type="text/css">
</head>
<body>
<div class="container">
<h1>ProveEverywhere - HTML Version</h1>
<p>Coq をブラウザから気軽にお試しできます。</p>
<ul>
<li>Coq 8.4pl4</li>
<li>SSReflect 1.5</li>
<li>MathComp 1.5</li>
</ul>
<p>同時接続は50までです。接続できないときは10分ほど待ってもう一度試してください。</p>
<!-- <p>10分何もしないとプロセスが削除されます</p> -->
<p>Eval ボタンを押すとコードすべてが評価され、結果が表示されます。</p>
<p>※結構バグるので、変になったらリロードしてください</p>
<p><a href="https://github.com/prove-everywhere">リポジトリ</a></p>
<iframe src="http://ghbtns.com/github-btn.html?user=prove-everywhere&repo=html&type=watch&count=true"
allowtransparency="true"
frameborder="0"
scrolling="0"
width="110"
height="20"></iframe>
<p style="margin-top: 50px;">
<a href="./">戻る</a>
</p>
</div>
<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-54339821-1', 'auto');
ga('send', 'pageview');
</script>
</body>
</html>
About
Web interface
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published