← ファイル一覧
（保存にはログインが要ります）
thmel/default.thmel
ヘッダ
行番号
!txt default.thmel — 現行の Thmel !txt !txt 第1段では、既存 PHP の Thmel をそのまま使用する。 !txt 推論関係・Rite列・prover設定は、意味を決めたものから順にここへ移す。 !txt !txt ★`search:` の印が付く行は**探索設定**＝同じ問題を同じ形で投げ、待つ長さや戦略だけが変わる !txt （数学的な意味は変えない）。意味を変える規則を足すときは、この印を持たない綴りにする。 !txt ★下の 10 秒は 2026-08-24 まで PHP に直書きされていた値そのもの＝挙動は変わっていない。 prover9 search:seconds 10
保存にはログイン（ページ編集の権限）が要ります。