文件名称：mds:与“功能性珍珠”论文相关的代码和证据
文件大小：49KB
文件格式：ZIP
更新时间：2024-06-07 18:55:42
Agda
最大密集段 与莎朗·柯蒂斯（Sharon Curtis）和（Shin-Cheng Mu） 的论文相关的代码和证据。 有关在每个文件中证明的定理和假定的属性的列表，请参见theorems-proved.md。
【文件预览】：
mds-master
----.gitignore(67B)
----agda()
--------Properties.agda(2KB)
--------Proof-Outer.agda(4KB)
--------DRSP.agda(15KB)
--------theorems-proved.md(9KB)
--------MDS-Derive.agda(10KB)
--------Prefix.agda(7KB)
--------RightSkew.agda(15KB)
--------MDS.agda(2KB)
--------Elem.agda(113B)
--------List+.agda(9KB)
--------Utilities.agda(6KB)
--------theorem-index.md(2KB)
--------Properties()
--------Elem()
--------Overlap.agda(4KB)
----README.md(326B)
----prog_new_monolithic()
--------MMSTest.hs(1KB)
--------MDSList.hs(3KB)
--------ProbMDS.hs(2KB)
--------MDSSeq.hs(5KB)
--------MDSTest.hs(1KB)
--------ProbMMS.hs(2KB)
----prog_new_productive()
--------TestGen.hs(2KB)
--------Main.hs(492B)
--------SpecGen.hs(1KB)
--------ProbMDS.hs(2KB)
--------MDSSeq.hs(5KB)
--------TestGen2.hs(1KB)
--------MDSTest.hs(1KB)