GitHub - kckennylau/Lean

Repository navigation

Lean

Public

No description, website, or topics provided.

3 stars

1 watching

Name		Name	Last commit message	Last commit date
linear_algebra		linear_algebra
Atiyah.lean		Atiyah.lean
Galois-theory-roadmap.md		Galois-theory-roadmap.md
Knaster-Tarski.lean		Knaster-Tarski.lean
Sym.lean		Sym.lean
Zariski.lean		Zariski.lean
abelianization.lean		abelianization.lean
algebra.lean		algebra.lean
algebraic-closure-roadmap.md		algebraic-closure-roadmap.md
canonically_isomorphic.lean		canonically_isomorphic.lean
cauchy_real.lean		cauchy_real.lean
church_blog_questions.lean		church_blog_questions.lean
constructive_tensor_product.lean		constructive_tensor_product.lean
direct_limit.lean		direct_limit.lean
enough_injectives.lean		enough_injectives.lean
free_group.lean		free_group.lean
group_products.lean		group_products.lean
hfs.lean		hfs.lean
johan_challenge.lean		johan_challenge.lean
limit.lean		limit.lean
localization.lean		localization.lean
localization_alt.lean		localization_alt.lean
nbg.lean		nbg.lean
nested.lean		nested.lean
ordinal.lean		ordinal.lean
p_adic.lean		p_adic.lean
partition.lean		partition.lean
perfect_closure.lean		perfect_closure.lean
plus20181101q5.lean		plus20181101q5.lean
polynomial.lean		polynomial.lean
proofs_by_induction.lean		proofs_by_induction.lean
recursion.lean		recursion.lean
semidirect_product.lean		semidirect_product.lean
sheaf_fundamental.lean		sheaf_fundamental.lean
tensor_product.lean		tensor_product.lean
zfc_ordinals.lean		zfc_ordinals.lean
zfc_structures.lean		zfc_structures.lean
zorn.lean		zorn.lean

No description, website, or topics provided.

3 stars

1 watching