WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Register machine
Revision #3034 → #3553 ·
back to history
added
Turing machine
f2db8edfa924
modified
Gödel numbering (as machine encoding)
71288045c4b7
Field
From #3034
To #3553
mathlib.match_kind
related
—
added
Primitive recursive function
68d53444c477