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·LibraryProcessabstract-interpretation-analysis
- lib-process:computer-science--algorithm-correctness-proof·LibraryProcessalgorithm-correctness-proof
- lib-process:computer-science--compiler-optimization-design·LibraryProcesscompiler-optimization-design
- lib-process:computer-science--complexity-lower-bound-proof·LibraryProcesscomplexity-lower-bound-proof
- lib-process:computer-science--computational-problem-classification·LibraryProcesscomputational-problem-classification
- lib-process:computer-science--concurrent-data-structure-design·LibraryProcessconcurrent-data-structure-design
- lib-process:computer-science--cross-area-cs-integration·LibraryProcesscross-area-cs-integration
- lib-process:computer-science--decidability-analysis·LibraryProcessdecidability-analysis
- lib-process:computer-science--distributed-consensus-protocol-design·LibraryProcessdistributed-consensus-protocol-design
- lib-process:computer-science--formal-specification-development·LibraryProcessformal-specification-development
- lib-process:computer-science--np-completeness-proof·LibraryProcessnp-completeness-proof
- lib-process:computer-science--operational-semantics-specification·LibraryProcessoperational-semantics-specification
- lib-process:computer-science--program-synthesis-specification·LibraryProcessprogram-synthesis-specification
- lib-process:computer-science--theorem-prover-verification·LibraryProcesstheorem-prover-verification
- lib-process:computer-science--theoretical-cs-paper-development·LibraryProcesstheoretical-cs-paper-development
- lib-process:computer-science--type-system-design·LibraryProcesstype-system-design