Math proof studio

Math Proof Studioは、推論記録の所有権を重視して構築された証明作成ノートブックです。テキストファーストエディタで記述し、リンクされたチェーン内のすべてのリビジョンを保存し、決定論的なプロトコルチェック（採点ではありません）を実行します。選択した作業をエクスポート可能なエビデンスパックにまとめ、共有またはアーカイブ化できます。