文件名称：lean-perfectoid-spaces:精益形式定理证明者中的Perfectoid空间
文件大小：10.31MB
文件格式：ZIP
更新时间：2024-06-03 18:36:51
Lean
精益完美空间 精益形式证明验证系统中完善类空间的概念的形式化。 （ ，（ ）和（ 。 请参阅。
【文件预览】：
lean-perfectoid-spaces-master
----.travis.yml(795B)
----docs()
--------install.html(3KB)
--------images()
--------how-to-read-lean.html(12KB)
--------pygments.css(4KB)
--------perfectoid.gephi(414KB)
--------index.html(12KB)
--------style.css(9KB)
--------type_theory.html(24KB)
----_config.yml(129B)
----docs_src()
--------type_theory.md(15KB)
--------install.md(705B)
--------pandocfilter-pygments(801B)
--------template.html(2KB)
--------how-to-read-lean.md(6KB)
--------build.sh(180B)
--------index.md(7KB)
----LICENSE(11KB)
----import_graph.py(2KB)
----src()
--------adic_space.lean(11KB)
--------perfectoid_space.lean(2KB)
--------continuous_valuations.lean(6KB)
--------Frobenius.lean(470B)
--------Huber_ring()
--------valuation()
--------Tate_ring.lean(3KB)
--------sheaves()
--------examples()
--------valuation_spectrum.lean(10KB)
--------power_bounded.lean(13KB)
--------for_mathlib()
--------Spa()
--------Huber_pair.lean(4KB)
----.gitignore(151B)
----README.md(551B)
----leanpkg.toml(254B)
----.vscode()
--------settings.json(244B)