Leni Aniva 42133f9b74 Add holes test stub ... Move tests into their own namespaces		2023-10-06 17:31:36 -07:00
..
Holes.lean	Add holes test stub	2023-10-06 17:31:36 -07:00
Integration.lean	Add holes test stub	2023-10-06 17:31:36 -07:00
Main.lean	Add holes test stub	2023-10-06 17:31:36 -07:00
Proofs.lean	Add holes test stub	2023-10-06 17:31:36 -07:00
Serial.lean	Add holes test stub	2023-10-06 17:31:36 -07:00