amutake/prove-everywhere

Moved to https://github.com/prove-everywhere

ProveEverywhere

Moved to https://github.com/prove-everywhere

prove-everywhere's Issues

サーバーのリポジトリを分離してちゃんと作りなおす

amutake/coqtop-server か amutake/coq-server

Save code

メニューに

• save
• save and quit
• quit

があり、save で保存、quit で保存せずに終了

新規の場合は save を押したとき初めて保存される

最初に "Require Import ssrbool." などをすると PromptParseError

<prompt>...</prompt> が出るより先に Warning が出てしまっている。

評価済み部分を編集したときに自動的にBack

Back

Back 1. でもそれ以上戻ることがある

アイコン

Scala 化

ジャバはいやだ

ListView

• setOnItemClickListener
• adapter.getItem(position)
• intent.putExtra
• startActivity
• getIntent().getStringExtra

bullets

(-, +, *) のサポート

stderr で <prompt> の前に '<' があると PromptParseError

ここ: https://github.com/amutake/prove-everywhere/blob/master/server/src/ProveEverywhere/Parser.hs#L20

オプションの追加

• 最大プロセス数
  • -n
• プロセスが生きている時間(一定時間更新が来なかったプロセスを自動的に殺す)
  • -t

Next, Back

Goto

アプリの配布

DeployGate とかつかうと良さそう？

画面が小さくても見やすく

証明の画面を隠してエディタを全画面にしたりできるように