没有合适的资源?快使用搜索试试~ 我知道了~
lean-perfectoid-spaces:精益形式定理证明者中的Perfectoid空间
共96个文件
lean:71个
md:6个
html:5个
需积分: 9 0 下载量 187 浏览量
2021-05-15
00:50:11
上传
评论
收藏 10.31MB ZIP 举报
温馨提示
精益完美空间 精益形式证明验证系统中完善类空间的概念的形式化。 ( ,( )和( 。 请参阅。
资源推荐
资源详情
资源评论
收起资源包目录
lean-perfectoid-spaces-master.zip (96个子文件)
lean-perfectoid-spaces-master
.travis.yml 795B
docs
install.html 3KB
images
perfectoid_graph.png 8.97MB
perfectoid_graph_small.png 853KB
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
localization.lean 20KB
basic.lean 4KB
valuation
perfection.lean 4KB
linear_ordered_comm_group_with_zero.lean 7KB
localization.lean 13KB
valuation_field_completion.lean 2KB
canonical.lean 32KB
field.lean 14KB
with_zero_topology.lean 15KB
topology.lean 7KB
basic.lean 17KB
Tate_ring.lean 3KB
sheaves
stalk_of_rings.lean 14KB
presheaf_of_topological_rings.lean 2KB
presheaf.lean 2KB
sheaf_of_topological_rings.lean 2KB
covering.lean 2KB
f_map.lean 10KB
sheaf_of_rings.lean 988B
opens.lean 2KB
sheaf.lean 2KB
stalk.lean 2KB
README.md 493B
presheaf_of_rings.lean 2KB
examples
discrete.lean 497B
padics.lean 11KB
empty.lean 2KB
valuation_spectrum.lean 10KB
power_bounded.lean 13KB
for_mathlib
rings.lean 1KB
punit_instances.lean 578B
open_embeddings.lean 857B
primes.lean 205B
integral_closure.lean 534B
algebra.lean 2KB
equiv.lean 4KB
nnreal.lean 1KB
data
set
basic.lean 2KB
ideal_operations.lean 1KB
filter.lean 8KB
topological_rings.lean 7KB
quotient_group.lean 2KB
topological_groups.lean 27KB
topological_field.lean 5KB
padics.lean 13KB
normed_spaces.lean 857B
group_with_zero.lean 13KB
cardinal.lean 323B
uniform_space
separation.lean 10KB
group_basis.lean 2KB
uniform_field.lean 7KB
group.lean 3KB
quotient.lean 1KB
open_subgroup.lean 701B
topology.lean 15KB
group.lean 2KB
linear_ordered_comm_group.lean 22KB
submodule.lean 3KB
nonarchimedean
is_subgroups_basis.lean 6KB
adic_topology.lean 4KB
basic.lean 4KB
with_zero.lean 5KB
Spa
presheaf.lean 9KB
stalk_valuation.lean 11KB
space.lean 9KB
rational_open_data.lean 11KB
localization_Huber.lean 7KB
Huber_pair.lean 4KB
.gitignore 151B
README.md 551B
leanpkg.toml 254B
.vscode
settings.json 244B
共 96 条
- 1
资源评论
小小鹊
- 粉丝: 34
- 资源: 4534
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功