問題タブ [lean]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
131 問題
0
投票する
3
に答える
165
参照
theorem-proving - リーンを使用して代数式で括弧を削除する方法
リーンを使用して 1 つの代数定理を証明しようとしています。私のコードは
最後の括弧を削除する方法を教えてください。つまり、手に入れたいだけ
a * c + b * c + e* c + a * d + b * d + e * d
どうもありがとう。