Skip to content

prove-everywhere/html

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
index.html
index.html
 
 
main.css
main.css
 
 
main.js
main.js
 
 
readme.html
readme.html
 
 

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

Readme
Activity
Custom properties

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages