Index of /palmgren/coq/czf_and_setoids
Name Last modified Size Description
Parent Directory -
PropasTypesUtf8Notat..> 2023-06-12 10:20 1.6K
PropasTypesUtf8Notat..> 2023-06-12 10:20 2.3K
Readme2.txt 2023-06-12 10:20 2.4K
readme.txt 2023-06-12 10:20 2.8K
PropasTypesBasics_mod.v 2023-06-12 10:20 4.6K
PropasTypesUtf8Notat..> 2015-03-11 16:34 4.9K
PropasTypesBasics_mo..> 2023-06-12 10:20 14K
SwedishSetoids_mod.v 2023-06-12 10:20 17K
SwedishSetoids_mod2.v 2023-06-12 10:20 19K
CZF_pure.v 2023-06-12 10:20 19K
PropasTypesBasics_mo..> 2015-03-11 16:34 22K
CZF_pure_plus_REA.v 2023-06-12 10:20 23K
CZFU_extension.v 2023-06-12 10:20 26K
families_of_setoids_..> 2023-06-12 10:20 29K
Generators.v 2023-06-12 10:20 41K
PropasTypesBasics_mo..> 2015-03-11 16:34 44K
PropasTypesUtf8Notat..> 2015-03-11 16:34 47K
HF-categories.v 2023-06-12 10:20 60K
Wsetoid.v 2023-06-12 10:20 67K
SwedishSetoids_mod.glob 2023-06-12 10:20 72K
CZF_pure.glob 2023-06-12 10:20 86K
Two_categories_with_..> 2023-06-12 10:20 90K
SwedishSetoids_mod.pdf 2015-03-11 16:34 94K
SwedishSetoids_mod2...> 2023-06-12 10:20 96K
CategoricalUniverse.v 2023-06-12 10:20 100K
families_of_setoids_..> 2015-03-11 16:34 114K
CZF_and_set_categori..> 2023-06-12 10:20 114K
CZF_and_set_categori..> 2023-06-12 10:20 115K
CZF_pure.pdf 2015-03-11 16:34 119K
CategoricalUniverse-..> 2023-06-12 10:20 119K
families_of_setoids_..> 2023-06-12 10:20 128K
Generators.pdf 2015-03-11 16:34 130K
CZF_pure_plus_REA.pdf 2015-03-11 16:34 134K
CategoricalUniverse_..> 2023-06-12 10:20 144K
SwedishSetoids_mod2.vo 2015-03-11 16:34 189K
SwedishSetoids_mod.vo 2015-03-11 16:34 191K
czf&setoids.pdf 2015-03-11 16:34 235K
CategoricalUniverse.pdf 2015-03-11 16:34 258K
czf&setoids_rvsd.pdf 2015-03-11 16:34 285K
CZF_and_set_categori..> 2015-03-11 16:34 382K
CZF_pure.vo 2015-03-11 16:34 441K
families_of_setoids_..> 2015-03-11 16:34 1.0M