WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Register machine
Revision #1894 → #2373 ·
back to history
modified
Counter machine
83673b450bbe
Field
From #1894
To #2373
note
Grep for 'counter machine' across Mathlib returns no hits.
Grep for 'counter machine' across Mathlib/Computability returns no hits.
added
Counter-based RASP computes primitive recursive but not all mu-recursive functions
27da6ce8f39b