ProofWidgets4
ProofWdget4
Lean 4から使えるようになった？GUIのキット
ウィジェットというUIコンポーネント？でよりわかりやすい証明結果の表示ができる
HTML、JavaScript、TypeScriptでよりリッチな表現ができる
サンプルとしてルービックキューブの例とか赤黒木の例がある
GitHub:
git clone https://github.com/EdAyers/ProofWidgets4 --branch v0.0.3
leanprover/doc-gen4: Document Generator for Lean 4
『An Extensible User Interface for Lean 4』
User Widgets - Lean Manual
ソース内に出てくるElaboratorについて
Elaborators - Lean Manual
https://arxiv.org/pdf/2001.10490.pdf#page=11
確認用
Q. ProofWidgets4
調査用
/pogi-log/Google.icon ProofWidgets4(日)
/pogi-log/Google.icon ProofWidgets4(英)
/pogi-log/Wikipedia.icon
ProofWidgets4 - Wikipedia(日)
ProofWidgets4(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
ProofWidgets4 - Wikipedia(英)
ProofWidgets4(検索) - Wikipedia(英)