Leni Aniva 10e6877f0e Merge branch 'dev' into goal/relation		2024-03-29 23:47:09 -07:00
..
Environment.lean	test: Catalog has no numeric symbols	2024-03-28 20:44:09 -07:00
Goal.lean	test: More diagnostics for tests	2024-03-06 15:14:08 -08:00
Library.lean	feat: Stop cataloging internal/detail dependencies	2024-03-28 19:49:44 -07:00
Protocol.lean	Merge branch 'dev' into goal/relation	2024-03-29 23:47:09 -07:00
Serial.lean	feat: Stop cataloging internal/detail dependencies	2024-03-28 19:49:44 -07:00
Version.lean	chore: Version bump	2024-03-28 22:08:22 -07:00