文件名称：oplss-15-notes:GitBook提供有关OPLSS15程序的注释
文件大小：18.24MB
文件格式：ZIP
更新时间：2024-06-13 12:36:39
OPLSS 15 ---注释和程序
【文件预览】：
oplss-15-notes-master
----history.md(25B)
----coq.md(6B)
----CONTRIB.md(1KB)
----SUMMARY.md(280B)
----agda.md(7B)
----dtt.md(3KB)
----logical_relations.md(20B)
----category_theory.md(1022B)
----book.json(30B)
----README.md(70B)
----scans()
--------dbp-harper-5.pdf(1.53MB)
--------dbp-pfenning-1.pdf(661KB)
--------dbp-pfenning-5.pdf(1.08MB)
--------dbp-morehouse-3.pdf(1.63MB)
--------dbp-morehouse-2.pdf(1.44MB)
--------dbp-morehouse-4.pdf(1.75MB)
--------dbp-harper-3.pdf(1.54MB)
--------dbp-morehouse-5.pdf(2.32MB)
--------dbp-pfenning-3.pdf(606KB)
--------dbp-pfenning-4.pdf(1.18MB)
--------dbp-morehouse-1.pdf(981KB)
--------dbp-pfenning-2.pdf(588KB)
--------dbp-harper-4.pdf(1.24MB)
--------dbp-harper-2.pdf(1.12MB)
--------dbp-harper-1.pdf(991KB)
----proof_theory.md(986B)
----.gitignore(352B)
----nuprl.md(8B)