Download Linnk AI
•
Autonomous Research Assistant
>
Sign In
insight
-
LeanSSR Implementation
Implementing LeanSSR: Metaprogramming for Proof Automation
Design and implement LeanSSR for efficient proof automation using metaprogramming in Lean.
1
