WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Theoretical computer science

Revision #1626 → #2661 · back to history

modifiedAlgorithm (effective method)984715f04131
FieldFrom #1626To #2661
mathlib.declTuring.TM2Turing.TM2.eval
provenanceaiai-moderated