#001Nova1 件の skills502026年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日収集済み skill 1 件中 1 件を表示しています。さらに 0 件の skills を読み込むskills を読み込み中...