Greetings

Defthm Consulting LLC came into being in 2013 and exists as a mechanism for funding projects of interest to the ACL2 community.  Please contact David Rager (ragerdl@defthm.com) with any questions you may have.

Thanks to J Moore, Matt Kaufmann, and Bob Boyer for inspiring the name of the company.  And thanks to Pete Manolios for contributing the 2013 slogan: Pain is temporary; theorems are forever.  I like this slogan so much, that I’ve adapted part of it as the website’s motto.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s