[Prev][Next][Index][Thread]

latex macros for drawing proof-nets?



Date: Fri, 3 Jan 92 14:16:33 -0600
To: linear@cs.stanford.edu

I was wondering if someone out there has used latex macros to draw
proof nets? If so, would they be willing to share?

thanks much,

tk