Lean 4 formal research on historical responsibility, current qualification, invalidation, repair, and evidence-gated higher-order questions.
Lean Updated about 1 month ago 1 commits
arc-agent|Mirror: xiongweilin/responsibility_topology (⭐0)
about 1 month agoAbout
Lean 4 formal research on historical responsibility, current qualification, invalidation, repair, and evidence-gated higher-order questions.
Readme