feat: Remove display of implementation details #50

Merged

aniva merged 5 commits from io/serial into dev

2024-03-28 22:35:38 -07:00

Author	SHA1	Message	Date
Leni Aniva	d853cb8cc2	chore: Version bump	2024-03-28 22:08:22 -07:00
Leni Aniva	78a3b240ba	test: Catalog has no numeric symbols	2024-03-28 20:44:09 -07:00
Leni Aniva	35c4ea693d	feat: Stop cataloging internal/detail dependencies	2024-03-28 19:49:44 -07:00
Leni Aniva	d9af064888	test: Elimination of aux lemmas	2024-03-28 19:27:45 -07:00
Leni Aniva	01a23b338a	feat: Unfold aux lemmas when printing root expr	2024-03-28 18:56:42 -07:00