问题标签 [ssreflect]

问问题

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.

71 问题
Newest
Active
Bountied
318
Unanswered
0 投票
1 回答
64 浏览

coq - Coq/SSReflect：(x < y) + (x == y) + (y < x) 的标准方法？

在香草 Coq 中，我会写

获得三个目标，一个为n < m，一个为n = m，一个为m < n。在 ssreflect 中，我将从

在 ssreflect 中将其分为三种情况的标准/规范方法是n < m什么？n == mm < n


12345678910