PROSAGA-IT社区元宇宙

如何在精益编译时证明关系？

dependent-type type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

1
在精益中，是否可以使用具有用户定义的相等关系的decidable_linear_order？

dependent-type type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

1
在精益中，是否可以使用具有用户定义的相等关系的decidable_linear_order？

dependent-type type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

1
如何在精益编译时证明关系？

dependent-type type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

1
如何在精益模式匹配时传播假设

dependent-type idris type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

1
如何在精益模式匹配时传播假设

dependent-type idris type-theory lean

Tue Oct 15 00:48:11 CST 2019

知识问答/ 精益

2
定义一个包含元素和多重性对的Multiset在Ada中

ada type-declaration

Sun Aug 04 11:31:03 CST 2019

知识问答/ Ada

1
由精益中的那种类型的列表构成的归纳类型

type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

2
由精益中的那种类型的列表构成的归纳类型

type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

2
在算术表达式中是否会将double隐式转换为unsigned int？

c++ type-conversion

Sun Sep 29 14:28:31 CST 2019

知识问答/ C/C++

1
C中的类型安全性

c type-safety

Mon Oct 14 09:13:22 CST 2019

知识问答/ 硬件Safety

5
如何在Coq中进行证明而不在类型上消除时对Prop进行模式匹配

coq dependent-type theorem-proving type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

1
如何在Coq中进行证明而不在类型上消除时对Prop进行模式匹配

coq dependent-type theorem-proving type-theory lean

Sun Sep 29 14:28:31 CST 2019

知识问答/ 精益

1
Java中的类型推断（àlaC＃）

java generics type-inference

Sun Sep 29 14:28:31 CST 2019

知识问答/ 特征工程

4
无法在PowerShell中将字符串转换为int

.net powershell type-conversion

Sun Sep 29 14:28:31 CST 2019

知识问答/ C#/.net

2
Clojure defmacro丢失了元数据

macros clojure type-hinting

Sun Sep 29 14:28:31 CST 2019

知识问答/ Xedge

2
如何组合三个连续的Modbus寄存器来获得整数值？

java type-conversion modbus

Sun Sep 29 14:28:31 CST 2019

知识问答/ MQTT/MODBUS

1
在Go中将字符串转换为整数类型？

string go type-conversion

Sun Sep 29 14:28:31 CST 2019

知识问答/ go

5
类型提示时Pycharm奇怪的警告

python pycharm type-hinting

Tue Oct 15 05:21:45 CST 2019

知识问答/ pycharm

3
Perl - 将十六进制转换为二进制并将其用作字符串

perl type-conversion hex bin

Sun Aug 04 11:31:03 CST 2019

知识问答/ perl

4