api-for-theorem-prover

Various apis for theorem-prover-kt

Demo site

here

フロントエンド側の処理はこちらを参照．

Misskey bot

@[email protected]

リプライの検索処理はこちらを参照．

事前準備

• .envファイルを作成し，環境変数を設定．
• theorem-prover-ktをビルドした jar ファイルをprover.jarという名前で配置．