Files

 master

/

source

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

ecavallo

and

ecavallo

Strong preunivalence and equivalence extensionality (#342)

Mar 13, 2025

1169dda · Mar 13, 2025

History

History

/

source

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
Apartness		Apartness	rename Cantor to 𝟚ᴺ	Feb 7, 2025
BinarySystems		BinarySystems	remove some spaces	Feb 6, 2025
CantorSchroederBernstein		CantorSchroederBernstein	remove accidental typo	Feb 19, 2025
Cardinals		Cardinals	Unused imports (#319)	Sep 8, 2024
Categories		Categories	remove some spaces	Feb 6, 2025
Circle		Circle	Unused imports (#319)	Sep 8, 2024
CoNaturals		CoNaturals	code review and minor addition	Oct 16, 2024
ContinuityAxiom		ContinuityAxiom	remove some spaces	Feb 6, 2025
Coslice		Coslice	move --exact-split to the lib file (this is now possible because ther…	Nov 1, 2023
CrossedModules		CrossedModules	Unused imports (#319)	Sep 8, 2024
DedekindReals		DedekindReals	more space cleaning	Feb 6, 2025
DiscreteGraphicMonoids		DiscreteGraphicMonoids	remove some spaces	Feb 6, 2025
DomainTheory		DomainTheory	remove some spaces	Feb 6, 2025
Dominance		Dominance	refactor and generalize a little bit	Mar 7, 2025
Duploids		Duploids	Unused imports (#318)	Sep 8, 2024
Dyadics		Dyadics	Unused imports (#318)	Sep 8, 2024
DyadicsInductive		DyadicsInductive	Unused imports (#318)	Sep 8, 2024
EffectfulForcing		EffectfulForcing	Fix Definition 46	Feb 22, 2025
Factorial		Factorial	code review	Oct 8, 2024
Field		Field	remove some spaces	Feb 6, 2025
Fin		Fin	remove some spaces	Feb 6, 2025
Games		Games	work with Paulo	Feb 12, 2025
GamesExperimental		GamesExperimental	remove some spaces	Feb 6, 2025
Groups		Groups	remove some spaces	Feb 6, 2025
InfinitePigeon		InfinitePigeon	remove some spaces	Feb 6, 2025
InjectiveTypes		InjectiveTypes	minor	Feb 21, 2025
Integers		Integers	Unused imports (#318)	Sep 8, 2024
Iterative		Iterative	remove some spaces	Feb 6, 2025
Lifting		Lifting	Unused imports (#318)	Sep 8, 2024
Locales		Locales	remove some spaces	Feb 6, 2025
MGS		MGS	remove some spaces	Feb 6, 2025
MLTT		MLTT	minor additions and modifications	Mar 12, 2025
MetricSpaces		MetricSpaces	remove some spaces	Feb 6, 2025
Modal		Modal	remove some spaces	Feb 6, 2025
Naturals		Naturals	remove some spaces	Feb 6, 2025
Notation		Notation	more space cleaning	Feb 6, 2025
NotionsOfDecidability		NotionsOfDecidability	remove some spaces	Feb 6, 2025
OrderedTypes		OrderedTypes	remove some spaces	Feb 6, 2025
Ordinals		Ordinals	minor additions and modifications	Mar 12, 2025
PCF		PCF	remove some spaces	Feb 6, 2025
PathSequences		PathSequences	remove some spaces	Feb 6, 2025
Quotient		Quotient	remove some spaces	Feb 6, 2025
Rationals		Rationals	more space cleaning	Feb 6, 2025
Relations		Relations	Unused imports (#316)	Sep 7, 2024
Slice		Slice	remove some spaces	Feb 6, 2025
TWA		TWA	remove some spaces	Feb 6, 2025
Taboos		Taboos	remove accidental typo	Feb 19, 2025
TypeTopology		TypeTopology	minor	Feb 8, 2025
UF		UF	Strong preunivalence and equivalence extensionality (#342)	Mar 13, 2025
Unsafe		Unsafe	minor	Feb 25, 2025
Various		Various	remove some spaces	Feb 6, 2025
W		W	refactor and generalize a little bit	Mar 7, 2025
WildCategories		WildCategories	remove some spaces	Feb 6, 2025
gist		gist	refactor initial lift algebra	Mar 6, 2025
AllModulesIndex.lagda		AllModulesIndex.lagda	remove accidental typo	Feb 19, 2025
index.lagda		index.lagda	refactor initial lift algebra	Mar 6, 2025
View all files