a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/soundness-proof-assistant
用进展与保持定理协助构造类型健全性证明。
全部 skill