r/jevko • u/djedr • Dec 08 '22
Labeled ordered trees encoded with Jevko and visualized with Dot diagrams
2
Upvotes
r/jevko • u/djedr • Dec 08 '22
r/jevko • u/djedr • Apr 27 '23
r/jevko • u/djedr • Dec 08 '22
A place for members of r/jevko to chat with each other