Skip to content

chore(Logic): give implicit argument an accessible name#1136

Merged
fgdorais merged 1 commit intoleanprover-community:mainfrom b-mehta:mainFeb 15, 2025
+1-1

Commits

Commits on Feb 15, 2025