QVJEvpHF
@kzuzosztwi
RT @srinathtv: Introducing Neo—not the One from the Matrix, but a new folding-based proof system, with: ? Efficient recursion (like Nova) ?…
0 reply
0 recast
0 reaction