@malaeu
Showing 1 vetted skills indexed across 1 GitHub repositories.
Generate Lean 4 proof skeletons from informal outlines and verify with lake build.
