3 Commits

Author	SHA1	Message	Date
Leni Aniva	bc83a5732e	feat: Instantiation tests ... Note that delay assigned metavariables are not instantiated.	2024-03-29 23:46:08 -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