ACL2 Developer's Workshop 2018

The second ACL2 Developer's Workshop was held on Wednesday, November 7, 2018, immediately after ACL2 Workshop 2018, and also at the University of Texas, Austin, Texas, USA.

For relevant general information, see the website for the first ACL2 Developer's Workshop.

Here is the saved shell log from the workshop.

Here is a list of participants.

Perhaps the main takeaway from the workshop: let's generate an "oral history" using the ACL2 developers' email list.

Also see The Developers Guide.