For a gentle introduction to Crux, please see the Crux home page at doc/user/crux.html or at http://noble.gs.washington.edu/proj/crux/. For installation instructions, see the installation tutorial linked from the Crux home pages listed above. Crux source code can be found in the src/c subdirectory.