Release bump#12

Merged

amit9oct merged 3 commits intoreleasefrom

Feb 14, 2025

Commits on Feb 13, 2025

Added qed tactic for Lean 4 as `done`
Amitayush Thakur
committed
Made changes necessary to move to itp-interface 1.1.5
Amitayush Thakur
committed
Merge pull request #11 from trishullab/usr/amit9oct/itp-interface-version-bump
amit9oct
authored