Leni Aniva 01a51b4e08 Add structure and inductive examples		2024-03-07 21:37:37 -08:00
..
Callee.lean	Add structure and inductive examples	2024-03-07 21:37:37 -08:00
lake-manifest.json	Stub	2024-03-04 21:08:55 -08:00
lakefile.lean	Stub	2024-03-04 21:08:55 -08:00