ACL2 log from today's class

1 view

Skip to first unread message

unread,

Oct 30, 2008, 9:37:58 PM10/30/08

to utexas-cs389r-fall2008, Matt Kaufmann

Hi,

I'm attaching the ACL2 log of today's demo by Matt Kaufmann. Matt has
also put the log on the Web, here:

Thanks,

-- Sandip

log.txt

Reply all

Reply to author

Forward

0 new messages