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