User talk:David Luckham

Welcome!
Hello, David Luckham, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are a few links to pages you might find helpful:
 * Introduction and Getting started
 * Contributing to Wikipedia
 * The five pillars of Wikipedia
 * How to edit a page and How to develop articles
 * How to create your first article
 * Simplified Manual of Style

You may also want to take the Wikipedia Adventure, an interactive tour that will help you learn the basics of editing Wikipedia.

Please remember to sign your messages on talk pages by typing four tildes ( ~ ); this will automatically insert your username and the date. If you need help, check out Questions, ask me on my talk page, or to ask for help on your talk page, and a volunteer should respond shortly. Again, welcome! BracketBot (talk) 08:49, 17 May 2015 (UTC)

May 2015
Hello, I'm BracketBot. I have automatically detected that [//en.wikipedia.org/w/index.php?diff=662738007 your edit] to Automated theorem proving may have broken the syntax by modifying 1 "[]"s. If you have, don't worry: just [ edit the page] again to fix it. If I misunderstood what happened, or if you have any questions, you can leave a message on [//en.wikipedia.org/w/index.php?action=edit&preload=User:A930913/BBpreload&editintro=User:A930913/BBeditintro&minor=&title=User_talk:A930913&preloadtitle=BracketBot%20–%20&section=new my operator's talk page].
 * List of unpaired brackets remaining on the page:

It's OK to remove this message. Also, to stop receiving these messages, follow these opt-out instructions. Thanks, BracketBot (talk) 08:49, 17 May 2015 (UTC)
 * }}
 * verification system for Pascal, and a widely distributed program verification system, 1968-75