Formal Digital Libraries (FDL) Project
A group of researchers at Cornell University, California Institute of Technology, and University of Wyoming are creating a digital library of algorithms and constructive mathematics that are usable for program and software construction.
The link address is: http://www.nuprl.org/FDLproject/
