Files

lean

Oct 25, 2024

a09833b · Oct 25, 2024

Name	Name	Last commit message	Last commit date
parent directory ..
feline	feline	wip	Oct 22, 2024
getting-to-know-lean	getting-to-know-lean	lean wip	Oct 21, 2024
hello-world	hello-world	hello world lean	Oct 21, 2024
interlude	interlude	interlude	Oct 22, 2024
lean-manual	lean-manual	add lean stuff	Oct 25, 2024
overloading-and-type-classes	overloading-and-type-classes	add lean stuff	Oct 25, 2024
theorem-proving-in-lean-4	theorem-proving-in-lean-4	add lean stuff	Oct 25, 2024