|
jcc333@jcc333.bsky.social |
Thanks much
1 replies 0 reposts 1 likes
|
jcc333@jcc333.bsky.social |
Thanks much
1 replies 0 reposts 1 likes
|
jcc333
@jcc333.bsky.social
[ View ] |
I suppose I'm also asking "is there a theory of limited-size proofs and their composition?" but mainly I'm just asking for some search keywords to follow up.
3 replies 0 reposts 1 likes