II.
LibrarySkill overview
Reference · livelib-skill:algorithms-optimization--proof-assistant
proof-assistant overview
Assist in constructing algorithm correctness proofs
Attributes
displayName
proof-assistant
description
Assist in constructing algorithm correctness proofs
libraryPath
library/specializations/algorithms-optimization/skills/proof-assistant/SKILL.md
specialization
algorithms-optimization
contentSummary
# Proof Assistant Skill
## Purpose
Assist in constructing formal correctness proofs for algorithms using standard proof techniques.
## Capabilities
- Proof structure templates (induction, contradiction, etc.)
- Step-by-step proof guidance
- Termination argument generation
- Proof review and vali
Outgoing edges
lib_applies_to_domain1
- domain:computer-science·DomainComputer Science
lib_belongs_to_specialization1
- specialization:algorithms-optimization·Specialization
lib_involves_role2
- role:backend-engineer·RoleBackend Engineer
- role:computational-scientist·RoleComputational Scientist
lib_requires_skill_area2
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
- skill-area:dynamic-programming·SkillAreaDynamic Programming
Incoming edges
None.