-
-
agda-googology Public
formalized googology in agda
-
-
agda-veblen Public
veblen function in agda
-
USST Public
univalent structural set theory
-
MetaLogic Public
first-order logic and set theory
-
DEST Public
Double Extension Set Theory in Agda
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda Other UpdatedJul 10, 2023 -
HilbertSystem Public
Formal development of Hilbert style propositional logic in Agda
-
-
-
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedSep 23, 2022 -
CategoryTheory Public
A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
-
-
-
-
Baby-Set-Theory Public
Coq集合论中文教程
-
-
Set-Theory Public
A formalization of the textbook Elements of Set Theory
{{ message }}