A generative representation of proofs is therefore closer to the actual representation in our mind.)
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••