issues
search
lengyijun
/
metamath-turing-machines
metamath proof enumerators and other things
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
riir
#15
lengyijun
opened
1 month ago
0
搞懂 main()[0000]
#14
lengyijun
closed
1 month ago
1
支持 +=
#13
lengyijun
opened
1 month ago
0
incr 时, shift register 的时候, 如何避免影响后面的 registers
#12
lengyijun
closed
1 month ago
1
index == -2 是什么魔法 ?
#11
lengyijun
opened
1 month ago
0
想办法去掉 dispatchroot()
#10
lengyijun
opened
1 month ago
0
feature request: print
#9
lengyijun
opened
1 month ago
0
SubEmitter 为什么需要 register ?
#8
lengyijun
opened
1 month ago
0
subroutine 怎么转化为 turing machine ?
#7
lengyijun
opened
1 month ago
0
如何初始化2个变量
#6
lengyijun
opened
1 month ago
0
搞懂 18 个基础 state
#5
lengyijun
opened
1 month ago
0
为什么很简单的代码, 也会生成复杂的 状态 ?
#4
lengyijun
opened
1 month ago
1
如果main直接 return, 会报错
#3
lengyijun
opened
1 month ago
0
noop 有什么用 ?
#2
lengyijun
closed
1 month ago
3
`metamath-turing-machines/nqlast.py:114` ```py self.emit_transfer(to_) ```
#1
lengyijun
opened
1 month ago
0