型宇宙 - mrsekut-p

型宇宙

https://m-hiyama.hatenablog.com/entry/2023/04/21/160238

型理論におけるグロタンディーク宇宙

https://m-hiyama.hatenablog.com/entry/2023/04/27/192715

https://agda.readthedocs.io/en/v2.6.2.2/language/sort-system.html#sort-system

agda

https://coq.inria.fr/refman/addendum/universe-polymorphism.html

coq

https://leanprover.github.io/reference/expressions.html