Giters
styzystyzy
/
Axiomatic_Set_Theory
Formalization of Axiomatic Set Theory in Coq
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
18
Watchers:
2
Issues:
0
Forks:
styzystyzy/Axiomatic_Set_Theory Stargazers
Jose A. Alonso
jaalonso
Brendan Zabarauskas
brendanzab
Santosh Gokak
santoshgokak
Lucas Lopes Trindade
lukkaslt
Tim Kersey
tkersey
Abhishek Kr Singh
Abhishek-TIFR
Liyanan0410
luoxing
xingfeT
gaxiiiiiiiiiiii
Chou Kyuhei
choukh
nem
NeM-T
BalanceYan
nyakhin
furea2
furea2
David Kleymann
davidkleymann
Yang
vertexi