Yup! A Simple Toy Coherence Theorem walks through a toy version of that idea, and I do think it’s a ripe area for someone to figure out more realistic theorems.
Excellent! Thank you!
Yup! A Simple Toy Coherence Theorem walks through a toy version of that idea, and I do think it’s a ripe area for someone to figure out more realistic theorems.
Excellent! Thank you!