PLUGIN 0 upvotes 201

Lean4 Skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

by cameronfreer View Source

Tags

community