LeanSSR: An SSReflect-Like Tactic Language for Leangithub.com2 points·gopiandcode··0 commentsOpen articleSaveView on HN