ACL2 is a powerful system for integrated modeling, simulation, and inductive reasoning. Under expert control, it has been used to verify some of the most complex theorems to have undergone mechanical verification. In addition to its maturity and stability, these qualifications make it a good platform for learning about industrial-strength theorem proving.
Morph images and save the results as QuickTime videos.
Tux Paint is a free, award-winning drawing program for children ages 3 to 12.
Create digital models and textures for them.
This program helps you extract objects from images.
A great application that allows you to create fun wallpapers.
A complete suite for vector illustration, layout, and photo editing.
Comments