from Hacker News

LeanSSR: An SSReflect-Like Tactic Language for Lean

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