II.
LibraryAgent overview
Reference · livelib-agent:computer-science--theorem-proving-expert
theorem-proving-expert overview
Agent specialized in interactive theorem proving and formal proofs
Attributes
displayName
theorem-proving-expert
description
Agent specialized in interactive theorem proving and formal proofs
libraryPath
library/specializations/domains/science/computer-science/agents/theorem-proving-expert/AGENT.md
specialization
computer-science
role
Formal Verification Agent
expertise
- Proof strategy development
- Tactic construction guidance
- Proof automation techniques
- Verification condition generation
- Proof engineering best practices
Outgoing edges
lib_applies_to_domain1
- domain:computer-science·DomainComputer Science
lib_belongs_to_specialization2
- specialization:theoretical-computer-science·SpecializationTheoretical Computer Science
- specialization:computer-science·SpecializationComputer Science
lib_implements_workflow1
- workflow:research-grant-lifecycle·WorkflowResearch Grant Lifecycle
lib_involves_role2
- role:computational-scientist·RoleComputational Scientist
- role:research-scientist·RoleResearch Scientist
lib_requires_skill_area3
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
- skill-area:compiler-implementation·SkillAreaCompiler & Interpreter Implementation
- skill-area:language-design·SkillAreaProgramming Language Design
Incoming edges
uses_agent16
- lib-process:computer-science--abstract-interpretation-analysis·LibraryProcesscomputer-science/abstract-interpretation-analysis
- lib-process:computer-science--algorithm-correctness-proof·LibraryProcesscomputer-science/algorithm-correctness-proof
- lib-process:computer-science--compiler-optimization-design·LibraryProcesscomputer-science/compiler-optimization-design
- lib-process:computer-science--complexity-lower-bound-proof·LibraryProcesscomputer-science/complexity-lower-bound-proof
- lib-process:computer-science--computational-problem-classification·LibraryProcesscomputer-science/computational-problem-classification
- lib-process:computer-science--concurrent-data-structure-design·LibraryProcesscomputer-science/concurrent-data-structure-design
- lib-process:computer-science--cross-area-cs-integration·LibraryProcesscomputer-science/cross-area-cs-integration
- lib-process:computer-science--decidability-analysis·LibraryProcesscomputer-science/decidability-analysis
- lib-process:computer-science--distributed-consensus-protocol-design·LibraryProcesscomputer-science/distributed-consensus-protocol-design
- lib-process:computer-science--formal-specification-development·LibraryProcesscomputer-science/formal-specification-development
- lib-process:computer-science--np-completeness-proof·LibraryProcesscomputer-science/np-completeness-proof
- lib-process:computer-science--operational-semantics-specification·LibraryProcesscomputer-science/operational-semantics-specification
- lib-process:computer-science--program-synthesis-specification·LibraryProcesscomputer-science/program-synthesis-specification
- lib-process:computer-science--theorem-prover-verification·LibraryProcesscomputer-science/theorem-prover-verification
- lib-process:computer-science--theoretical-cs-paper-development·LibraryProcesscomputer-science/theoretical-cs-paper-development
- lib-process:computer-science--type-system-design·LibraryProcesscomputer-science/type-system-design