refactor: Cleanup the congruence tactics #81

Merged

aniva merged 4 commits from tactic/congruence into dev

2024-06-23 13:35:36 -07:00

Author	SHA1	Message	Date
Leni Aniva	fbe6e8fcb3	Merge branch 'dev' into tactic/congruence	2024-06-23 13:35:07 -07:00
Leni Aniva	aceee85b05	Merge branch 'env/inspect' into tactic/congruence	2024-06-16 13:46:18 -07:00
Leni Aniva	f80d90ce87	fix: Goal diag missing newline character	2024-06-14 11:59:02 -07:00
Leni Aniva	b3a60fcea8	refactor: Rename TacticExecute to SyntheticTactic	2024-06-13 14:25:05 -07:00