文件名称：coq-vector：只是费德林。 这与您无关
文件大小：23KB
文件格式：ZIP
更新时间：2024-03-08 21:45:00
Coq
辅酶向量
【文件预览】：
coq-vector-master
----.nra.cache(3KB)
----fintype.v(777B)
----.csdp.cache(1KB)
----.nia.cache(344B)
----realvec.v(18KB)
----vec.v(3KB)
----README.md(13B)
----.#q.v(42B)
----matrix.v(3KB)
----diff.v(11KB)
----rat.v(4KB)
----vec2.v(4KB)
----dvec.v(1KB)
----#vec2.v#(4KB)
----#q.v#(114B)
----diff2.v(542B)
----trace(330B)
----.lia.cache(1KB)
----realplay.v(8KB)