LeanSSR: An SSReflect-Like Tactic Language for Lean

by gopiandcode on 3/25/2024, 2:28:54 AM with 0 comments