occupation
Software Developers
description
Use this skill for high-assurance validation of reasoning, claims, and proof sketches with the repository's full workflow or direct SMT/Lean checks.
updated
Tyler-R-Kendrick/agentic_validation
SkillsMP has collected 1 skills from Tyler-R-Kendrick/agentic_validation. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 1
- GitHub stars
- 0
- GitHub forks
- 0
Skills in this repository
1 occupation categories · 100% classified
Showing 1 of 1 collected skills.
skill
occupation
description
updated
Showing 1 of 1 collected skills.