Enchanments: Lean Qed Equivalent; Calc tactic tests.#34

amit9oct merged 4 commits intomaintrishullab/itp-interface:mainfrom

usr/amit9oct/bug-fixestrishullab/itp-interface:usr/amit9oct/bug-fixesCopy head branch name to clipboard