HLM Proof Assistant

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

に関しては HLM Proof Assistant

HLMは、現在開発中の日常の数学の証明アシスタントです。これは、通常の数学的実践にできるだけ近いユーザーエクスペリエンスと、ほとんど余分な努力をして人間が理解できる証明を目指しています。