#001Nova1 个 skills50更新于 2026年8月19日占该创作者 100%skill职业分类描述更新nova未分类Programming and proving in Nova (.nova surface files) — the elab/obligation loop, surface syntax, lemma-based discharge, QIITs. Use when writing or fixing .nova files, proving equations, or debugging why a file is not accepted.2026年8月19日已展示 1 / 1 个已收集 Skill。再加载 0 个 skills正在加载 skills...
