LeanSSR: An SSReflect-Like Tactic Language for Lean

2 points by gopiandcode 1 year ago | 0 comments