LeanSSR: An SSReflect-Like Tactic Language for Leangithub.com/verse-lab2 pointsgopiandcode2 years ago