文件名称：coqdomains:Coq 中的领域理论和指称语义
文件大小：261KB
文件格式：ZIP
更新时间：2024-07-27 01:35:03
Coq
域 Coq 中的领域理论和指称语义
【文件预览】：
coqdomains-master
----.gitignore(18B)
----src()
--------FinmapMetric.v(8KB)
--------typedsoundness.v(2KB)
--------linecount.bat(191B)
--------moperational.v(25KB)
--------PredomLift.v(30KB)
--------Vars.v(3KB)
--------typeddensem.v(4KB)
--------uniiop.v(1KB)
--------typedlambdapat.v(28KB)
--------uniirec.v(20KB)
--------Makefile(7KB)
--------KSTyping.v(4KB)
--------utility.v(9KB)
--------uniiade.v(24KB)
--------uniisound.v(9KB)
--------typedopsempat.v(7KB)
--------PredomProd.v(7KB)
--------NSetoid.v(16KB)
--------Fin.v(2KB)
--------KnasterTarski.v(19KB)
--------PredomAll.v(754B)
--------KSOp.v(2KB)
--------Categories.v(44KB)
--------typedsubstalt.v(8KB)
--------uniisem.v(5KB)
--------MetricCore.v(42KB)
--------PredomRec.v(44KB)
--------coqdoc.sty(6KB)
--------PredomSum.v(10KB)
--------CategoriesAux.v(18KB)
--------msem.v(66KB)
--------numbers(545B)
--------Makefile.win(2KB)
--------KSTy.v(10KB)
--------typedadequacy.v(14KB)
--------KSTm.v(13KB)
--------MetricRec.v(41KB)
--------PredomFix.v(11KB)
--------typedsubst.v(7KB)
--------typedopsem.v(3KB)
--------unii.v(10KB)
--------untypedlambda.v(18KB)
--------mmsem.v(65KB)
--------KSSem.v(49KB)
--------untypeddensem.v(5KB)
--------numbers.bat(545B)
--------untypedsubst.v(10KB)
--------untypedopsem.v(1KB)
--------builddistrib.bat(279B)
--------Finmap.v(44KB)
--------msyntax.v(150KB)
--------Predom.v(40KB)
--------PredomCore.v(51KB)
--------PredomKleisli.v(26KB)
--------VarsRec.v(3KB)
--------buildcoqdoc.bat(265B)
--------PredomAux.v(775B)
--------mpremet.v(41KB)
--------typedlambda.v(22KB)
----README.md(71B)