与ZFC库和托马斯·耶赫《集合论》一书有关的一些定理。
Some theorems connected with ZFC library and Tomas Jech "Set Theory" book. (2020-09-13, Coq, 61KB, 下载0次)
...依赖于三个独立的层次，逻辑（又称原论）、莱斯涅夫斯基本体论（LO）和语言学。每个我...
LesniewskiMereology is a Coq library created by R. Dapoigny and P. Barlatier whose purpose is to implement the alternative to Set Theory of Stanislaw Lesniewski. It is part of an on-going project using the Coq language and called KDTL (Knowledge-based Dependently Typed Language) to build an alternative to Description Logics. The developed (2020-10-18, Coq, 19KB, 下载0次)