mathematics_in_lean_source icon indicating copy to clipboard operation
mathematics_in_lean_source copied to clipboard

Published 20 hours ago • verified publisher icon avigad

Suffices

Open avigad opened this issue 1 year ago • 0 comments

Introduce the suffices tactic somewhere

avigad avatar Jul 07 '23 18:07 avigad