Implements directed path induction based on Riehl-Shulman synthetic ∞-category theory for formal verification.
This skill equips Claude with the specialized logic of the Directed Yoneda Lemma, enabling it to perform directed path induction within synthetic infinity-categories. Based on the Riehl-Shulman framework, it allows for the formal verification of properties across Segal types, specifically facilitating proofs where a property verified at the identity morphism propagates across all directed reaction pathways. It is an essential tool for developers and mathematicians working with proof assistants like Rzk, Lean4, or Agda to model non-reversible transformations, chemical semantics, and complex topological structures.
Características Principales
017 GitHub stars
02Models directed reaction pathways using chemical semantics
03Applies Riehl-Shulman synthetic ∞-category theory principles
04Supports formal proof construction in Rzk, Lean4, and Agda
05Implements directed path induction for Segal types
06Validates property propagation along morphisms from a base identity case
Casos de Uso
01Formally verifying non-reversible state transitions in high-integrity systems
02Proving category-theoretic properties for directed graphs and topological models
03Automating proof steps for synthetic infinity-categories in research environments
