Name		Name	Last commit message	Last commit date
exp		exp
.DS_Store		.DS_Store
Analysis Sheet1.lean		Analysis Sheet1.lean
FTA.lean		FTA.lean
HoTT-play-area.lean		HoTT-play-area.lean
MWE.lean		MWE.lean
PID.lean		PID.lean
PID_euclid.lean		PID_euclid.lean
PIL.lean		PIL.lean
README.md		README.md
ZMOD.lean		ZMOD.lean
Zmod1.lean		Zmod1.lean
addition.lean		addition.lean
addition1.lean		addition1.lean
algebra_of_equiv.lean		algebra_of_equiv.lean
algebraic_closure.lean		algebraic_closure.lean
algebraic_closure2.lean		algebraic_closure2.lean
algebraic_closure_experiment.lean		algebraic_closure_experiment.lean
algebraic_closure_roadmap.md		algebraic_closure_roadmap.md
alternating2.lean		alternating2.lean
alternating_teest.lean		alternating_teest.lean
analytics.lean		analytics.lean
bezout.lean		bezout.lean
choose.lean		choose.lean
clear_aux_decl.lean		clear_aux_decl.lean
complex.lean		complex.lean
computable_em.lean		computable_em.lean
computable_em2.lean		computable_em2.lean
cratch.lean		cratch.lean
cycles.lean		cycles.lean
derive_fintype.lean		derive_fintype.lean
disjoint_finset.lean		disjoint_finset.lean
enat.lean		enat.lean
even_odd.lean		even_odd.lean
exponential.lean		exponential.lean
exponential_complex.lean		exponential_complex.lean
exponential_complex1.lean		exponential_complex1.lean
f2.lean		f2.lean
fast_refl.lean		fast_refl.lean
fermat's little theorem.lean		fermat's little theorem.lean
fermat_sum_two_squares.lean		fermat_sum_two_squares.lean
field.lean		field.lean
fintype_perm.lean		fintype_perm.lean
game.lean		game.lean
gaussian.lean		gaussian.lean
godel		godel
good_diag_flip.lean		good_diag_flip.lean
gourp1.lean		gourp1.lean
group_expr.lean		group_expr.lean
int_gcd.lean		int_gcd.lean
intro_algebra.lean		intro_algebra.lean
involution.lean		involution.lean
islanders.txt		islanders.txt
islanders_decidable.lean		islanders_decidable.lean
islanders_neat.lean		islanders_neat.lean
lagrange_four_square.lean		lagrange_four_square.lean
lagrange_four_square2.lean		lagrange_four_square2.lean
limits.lean		limits.lean
list_append.lean		list_append.lean
mertens.lean		mertens.lean
mod_inv.lean		mod_inv.lean
modal.lean		modal.lean
modeq_int.lean		modeq_int.lean
mods_and_fermat_little.lean		mods_and_fermat_little.lean
natprimes.lean		natprimes.lean
natprimes_slim.lean		natprimes_slim.lean
new_structures.lean		new_structures.lean
non_tactic.lean		non_tactic.lean
padic_norm1.lean		padic_norm1.lean
perfect_logician.lean		perfect_logician.lean
perm.lean		perm.lean
polyhedra.lean		polyhedra.lean
presburger		presburger
presburger.lean		presburger.lean
primes.lean		primes.lean
primesaf.lean		primesaf.lean
prob.lean		prob.lean
quotient_ring.lean		quotient_ring.lean
quotient_ring.txt		quotient_ring.txt
rationalpowers.lean		rationalpowers.lean
ring_tac.lean		ring_tac.lean
scratch.lean		scratch.lean
series1.lean		series1.lean
sheet7.lean		sheet7.lean
signatures.lean		signatures.lean
signatures.txt		signatures.txt
simple_group.lean		simple_group.lean
simple_group2.lean		simple_group2.lean
simplex.lean		simplex.lean
single_relation.lean		single_relation.lean
small_algebraic_closure_is_integral.lean		small_algebraic_closure_is_integral.lean
sum_and_product.lean		sum_and_product.lean
sum_four_square2.lean		sum_four_square2.lean
sum_function.lean		sum_function.lean
sum_two_squares_prime.lean		sum_two_squares_prime.lean
sylow.lean		sylow.lean
sylow_2.lean		sylow_2.lean
tactic_scratch.lean		tactic_scratch.lean
test.txt		test.txt
test1.lean		test1.lean

Repository files navigation

leanstuff

About

No description, website, or topics provided.

1 star

0 watching

Report repository

Releases

Packages

Used by

Contributors

Languages