Popular now

Audio-visual and adaptable language learning.

Learn essential German vocabulary and phrases right on your computer.

It helps you manage bibliographies, literature research materials, etc.

Acess, browse, and manage data for Bible studies.

Provides 3D models of human anatomy elements.

Allows you to look up word definition from Spanish to English and vice versa.

Windows

Windows Mac

Georgia Tech Research Corporation and Northeastern University.

ACL2s

Free

ACL2 is a system for integrated modeling, simulation, and inductive reasoning.