Badge for gh:benchflow-ai/skillsbench/tasks/lean4-proof/environment/skills/lean4-theorem-proving/SKILL.md

Show agents and people that this skill is tracked, versioned and diffable.

Markdown

[![backskills](https://www.backskills.ai/badge/gh%3Abenchflow-ai%2Fskillsbench%2Ftasks%2Flean4-proof%2Fenvironment%2Fskills%2Flean4-theorem-proving%2FSKILL.md.svg)](https://www.backskills.ai/skill?id=gh%3Abenchflow-ai%2Fskillsbench%2Ftasks%2Flean4-proof%2Fenvironment%2Fskills%2Flean4-theorem-proving%2FSKILL.md)

HTML

<a href="https://www.backskills.ai/skill?id=gh%3Abenchflow-ai%2Fskillsbench%2Ftasks%2Flean4-proof%2Fenvironment%2Fskills%2Flean4-theorem-proving%2FSKILL.md"><img src="https://www.backskills.ai/badge/gh%3Abenchflow-ai%2Fskillsbench%2Ftasks%2Flean4-proof%2Fenvironment%2Fskills%2Flean4-theorem-proving%2FSKILL.md.svg" alt="backskills tracked"></a>

Changelog notes