choukh/Coq-Metaphysics choukh/Coq-Metaphysics

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Coq
  • License
    MIT License
  • Created over 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
choukh/Coq-Metaphysics
github

choukh

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

计算形而上学

More Repositories

1

Set-Theory

A formalization of the textbook Elements of Set Theory
Coq
59
star
2

Baby-Set-Theory

Coq集合论中文教程
Coq
41
star
3

CategoryTheory

A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
Coq
16
star
4

MetaZF

Coq集合模型论
Coq
10
star
5

agda-veblen

veblen function in agda
Agda
5
star
6

Googology

Coq巨大数論
Coq
3
star
7

ReverseMaths

Coq反推数学
Coq
2
star
8

MetaLogic

first-order logic and set theory
Agda
2
star
9

agda-googology

formalized googology in agda
CSS
2
star
10

DEST

Double Extension Set Theory in Agda
Agda
1
star
11

USST

univalent structural set theory
Agda
1
star
12

HilbertSystem

Formal development of Hilbert style propositional logic in Agda
1
star
13

agda-flypitch

Formally proving the independence of the continuum hypothesis in Agda
Agda
1
star
14

StructuralSetTheory

结构化集合论
Coq
1
star