OCMEBilingual mathematics & derivations繁體中文

OCME · Knowledge & practice index

From knowledge to questions

Follow MKO → family/batch → numbered question → detailed derivation to find your next learning step.

302 MKO1,441 families360 batches36,000 derivations
Clear filters

Results

  1. No. 8961 · q-20261013-advance-20261018-r07-lean-formal-statement-0061

    Question 8961: Synthetic Statement, Proof-Term, and Kernel Flags

    Second-context math/bilingual review

    Question: candidate; English: AI candidate; this page adds no mathematical or formal proof.

    MKO: Formal statements in a proof assistant Questionsqf-ext18-formal-statement-proof-separationbatch-20261013-advance-20261018-r07-lean-formal-statement-foundations
    Open numbered derivation → Markdown JSON Original batch