# Arend Standard Library
Arend is a theorem prover based on [Homotopy Type Theory](https://ncatlab.org/nlab/show/homotopy+type+theory).
Visit [arend-lang.github.io](https://arend-lang.github.io/) for more information about the Arend language.
arend-lib.zip_jatbrains_logic_mathematics_theorem prover_unlesss
版权申诉
93 浏览量
2022-09-19
11:12:19
上传
评论
收藏 106KB ZIP 举报
arend-lib.zip （72个子文件） 
arend-lib 
arend.yaml 33B LICENSE 11KB src Logic Classical.ard 2KB Arith Nat.ard 6KB Int.ard 14KB Rat.ard 542B Paths.ard 9KB Equiv.ard 13KB Set Fin.ard 3KB Category.ard 453B Homotopy Join.ard 10KB Connected.ard 1008B Hopf.ard 5KB Suspension.ard 593B Localization Connected.ard 5KB Equiv.ard 4KB Universe.ard 16KB Accessible.ard 6KB Modality.ard 455B Separated.ard 4KB Cube.ard 2KB Pushout.ard 7KB Pointed.ard 764B Square.ard 2KB Loop.ard 4KB Image.ard 6KB Truncation.ard 6KB Sphere Circle.ard 4KB Space.ard 101B Sphere.ard 207B Relation Equivalence.ard 3KB Order Lattice.ard 3KB StrictOrder.ard 768B LinearOrder.ard 4KB PartialOrder.ard 2KB Category.ard 5KB HLevel.ard 6KB Function.ard 485B Logic.ard 2KB Equiv HalfAdjoint.ard 3KB Fiber.ard 4KB Path.ard 2KB Univalence.ard 687B Sigma.ard 5KB Set.ard 3KB Algebra Ordered.ard 18KB Ring.ard 4KB Domain.ard 3KB Semiring.ard 712B Group Aut.ard 259B Category.ard 2KB Field.ard 1KB Pointed Category.ard 1KB Pointed.ard 475B Domain Bezout.ard 1KB GCD.ard 2KB Monoid Prime.ard 4KB Category.ard 2KB GCD.ard 12KB Group.ard 8KB Monoid.ard 14KB Ring Localization Field.ard 8KB Category.ard 2KB Local.ard 1KB Localization.ard 26KB Category Sub.ard 615B Data Or.ard 365B SeqColimit.ard 6KB Bool.ard 486B Sigma.ard 1KB .gitignore 154B README.md 244B资源评论
