coq-contribs zfc issues - Githubissues

coq-contribs / zfc

An encoding of Zermelo-Fraenkel Set Theory in Coq

GNU Lesser General Public License v2.1

21 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Which book of Peter Aczel's was used?

#6 lancejpollard opened 3 years ago
0
Add classes as records

#5 georgydunaev opened 5 years ago
3
Updating Make

#4 georgydunaev opened 5 years ago
2
Cleaning .aux files.

#3 georgydunaev opened 5 years ago
1
"exists" instead "EXType"

#2 georgydunaev opened 5 years ago
1
Regularity & Epsilon induction.

#1 georgydunaev opened 5 years ago
6