Easily create and share lists on the web. With the drag-and-drop simplicity of blist, you'll be able to organize the information that's important to you. Make a to-do list, share your hobbies, build a sophisticated CRM solution, or create a project management blist. There's no software to install, no sign-up required, and it's free to use. Share your weblists.
ProofWeb is a system for practising natural deduction on the computer based on the Coq proof assistant and runs in browser. ProofWeb one runs logic exercises on a web server. ProofWeb comes with a database of basic logic exercises that are graded according to difficulty. The ProofWeb system automatically grades the exercises of the students. user talks to the Coq system on the server without any translation. There just are a few additional tactics to make Coq's behavior follow the logic textbooks. This means that in ProofWeb the full power of Coq is available, even to beginner students. On the other hand ProofWeb tries hard to present deductions exactly the way they look in the textbooks. In particular ProofWeb exactly follows the conventions of a well-known logic textbook Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth and Mark Ryan.
Welcome to the Talking Web Create interactive guided presentations by combining web pages, photos, Powerpoint and more with your voice, notes and highlights. Viewers can control the pages, scroll, click on links, view videos and more.
Notes on the Combinator Birds: 1. The combinatory birds were borrowed from To Mock A MockingBird, by Raymond Smullyan. 2. Some additional information about combinator birds can be found in To Dissect a Mockingbird by David C Keenan. 3. Some of the SK Combinatory terms were first reduced using the Combinatory Logic Tutorial by Chris Barker.
Use PDF Hammer to quickly and easily edit your PDF files online without installing a thing! Simply upload PDF files to PDF Hammer via your web browser, perform your edits, and then save the files back to your computer. The online editor allows you to view the pages of your PDF files as you edit them. The free PDF editor lets you: * Combine PDF. Create single polished PDF files by merging multiple files together. * Edit PDF pages. Quickly rearrange, reorder and delete the pages from existing PDF files. * Secure PDF. Protect the contents of PDF files with password-based security. * Update PDF metadata. Make PDF files more useful and usable by setting the document information (metadata) fields, including author, title, subject and keywords. PDF Hammer is 100% free and brought to you by the team behind Nitro PDF Professional -